On Tue, 6 Dec 2016 19:33:21 +0000 (UTC)
Eli the Bearded wrote:

I have, but not to woodworking equipment. I replaced a power switch on
one of my computers, and also have used one for an alarm clock. The
arcade buttons are a plastic cap on a sealed Cherry D44X switch:

they are popular for light switches now too
i recall push button wall switches in old houses so what is old is new
again

These are reasonable well sealed and I expect would be fine in a high
dust environment.

they do seem to be well made and will place them in an enclosure

have bought stuff like this from digikey but that site has decent prices

lot of shapes and color