Industrias Lorenzo long shaft concave pushbutton, the official button for Black Emperor.
Microswitch sold separately.
