This is a genuine Cherry microswitch, NOT a cheap aftermarket knockoff brand.
Williams/Bally originally used Cherry DA3 switches that are no longer manufactured. These switches are the DA3 replacement switch - DB5.
Williams/Bally reference #5647-12693-19, 5647-12073-19, A-12688 & A-12688-1.
American Pinball reference #SWI0001-02.