I tried Newark and Parts Express and found nothing. A lot of the applications were related to music, guitars, and audio, so I searched ebay for "guitar switch" and got this:
**broken link removed**
Still a bit expensive, but its a start. Switches like that are/were also used in aircraft (e.g, flap switches), but they will be even more outrageously priced.
John
I found it! $15, which is probably a good price.
https://www.stewmac.com/shop/Electr...s:_Switches_and_knobs/CRL_Lever_Switches.html