does anyone know if Cherry (or who ever else) makes toggle switches in the same form factor as the micro switches for pushbuttons.  I would like to make an arcade button into a on/off switch.  one push, contact on, second push contact off.  I looked in my Grainger catalog and couldn't find anything like this.