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.

Williams/Bally reference #5647-12693-06