This is a genuine Cherry microswitch, NOT a cheap aftermarket knockoff brand.
Williams/Bally used Cherry DA3 switchs that are no longer manufactured. These switches are the DA3 replacement switch - DB5.
Many applications used as is, or can be bent to form your own custom shape.
Williams/Bally #5647-12693-11 & 5647-12073-11.
PUT ON YOUR 3D GLASSES TO VIEW THE SECONDARY PICTURE IN 3D!