yeah, maybe you're right.
I needed a mechanical latching switch for my gas heater rev E01 so I got a bunch of these. Would have had to pay $2.50 plus $12 shipping for a single one, but free shipping on 5 of them for $14 bucks, so......
https://www.amazon.com/gp/prod...00?ie=UTF8&psc=1
Doesn't lend itself to hole drilling, though, @ALB