He's right, https://www.amazon.com/TWTADE-Plastic-Momentary-Grinder-Industrial/dp/B088K9JYNR in the US. Just poke around looking at deadman switches till you find something that fits your cosmetic requirements.