Protective rubber boot for environmental and ergonomic concerns, Judco P/N: 19-1088-01.  Easily installed on Judco pushbutton switches. Threaded nut molded into boot. Switch sold separately.
 
For use with in-store product: Replacement Pushbutton Switch (CID00119).