Revisa en ipdb. Ahí suelen tener bastantes cosas de cada pinball.

He actualizado mi primer post para poner las cosillas que tengo en mente pedir