Power switch, pushbutton

Latching pushbutton power switch, double-pole. If this part is out of stock, part #4934 can be substituted, as long as the switch is not circuit-board…