Yo uso el Visual Pinball junto con el Vpinmame. Paturlas tiene un tutorial muy bueno para hacerlos funcionar en la sección de tutoriales de la web. Yo no soy una eminencia en el tema de los emuladores de pinball pero creo que estos son los que usa casi todo el mundo.
Un saludete