Don't know what country you're in, but there are a lot of very small toggle switches out there. C&K, Alcoswitch, Tyco, .... if you're in a bind for available space, you might consider a microswitch assembly. Don't give up, try looking for what you need at other suppliers, that might not be...