The blue and black pushbuttons use standard Cherry microswitches. (Not the Microleaf switch from GroovyGameGear that the player pushbuttons use.)
(click image for full size)
Image 25
of 48
robandgabe.com
