immaginavo fosse una cosa del genere... la parola "red" mi faceva pensare ad "infrared" ma non te lo ho proposto perché non ho mai visto una slot con sensori ad infrarossi.
la cosa più semplice e veloce da fare è andare per modo empirico: ti procuri le stesse fotocellule che hai sulla tua slot, dissaldi le vecchie, ci saldi le nuove e poi riprovi se la slot funziona.
sul manuale dovrebbe anche essere scritto il tipo di fotocellula che hai.
non dovrebbe essere difficile reperirli, io ho trovato su amazon i sensori reed per una mia slot.
oppure puoi provare questi siti tedeschi che vendono ricambi per flipper, io ci ho comprato le lampadine t10 da 1,2 watt.
https://www.euro-pinball.de
https://www.reichelt.de
fammi sapere