switch to Schurter push-button switches with through-hole pins