Don't panic -
more on the way!
This is a genuine Cherry microswitch, NOT a cheap aftermarket brand.
Williams/Bally used Cherry DA3 switchs that are no longer manufactured.
These switches are the DA3 replacement switch - DB3.
Many applications used as is, or can be bent to form your own custom shape.
Williams/Bally reference #5647-12693-11 or #5647-12693-31.