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.
This is the switch body only; use your own/old actuator wire.