Working towards restoring my first pinball (F-14) and I have run into trouble sourcing many micro-switches, for example: Switch 5647-12073-01.
I found that Marco sells universal 3" and 4" microswitches, labeled as being replacements 5647-12693 series switches.
On another site, I found a 12693 that was marketed as a replacement for a 12073 series.
What is the difference between 12693, 12073 and 12133 switches. Are the interchangeable?
I assume the last 2 digit number is the length and shape of the switch, is this correct?