Puedes comprarte una fuente como las siguientes:
CODE
https://es.aliexpress.com/wholesale?catId=0&initiative_id=SB_20181108100343&SearchText=5v+power+supply
En la fuente tienes dos partes:
La entrada, a la que conectas los cables que proceden de la alimentación del pinball (positivo, negativo y neutro).
La salida (los 5v, 12v, etc...).
Para conectarla yo haría lo siguiente:
En la parte trasera del pinball tienes una conexión de este estilo:
CODE
https://photos.app.goo.gl/rJVZ5vFP3iqNtQ1e8
Debajo del protector negro están las conexiones. De ahí tendrías que sacar un +/-/tierra para alimentar tu fuente de alimentación externa.
Una vez lo tengas, tendrás que conectar tu bola a la fuente de alimentación.
Otra posibilidad (mas cutre) es hacer lo mismo, pero en vez de poner una fuente de alimentación, podrías poner una regleta. Así podrías enchufar dentro un cargador USB al que conectar tu bola, o una tira de led con un adaptador de corriente... etc