This is a genuine Cherry microswitch as originally used by Williams/Bally, NOT a cheap aftermarket knockoff brand.
Williams/Bally used Cherry DA3 switches that are no longer manufactured. These switches are the DA3 replacement switch - DB5.
Williams/Bally reference numbers 5647-1269307 & 5647-12693-7.