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.