Yo tampoco uso ningún lanzador para las pinballs y hay algunas mesas en las que por más que lo intente no guardan nunca la puntuación.

Un saludo