We used to call those missile switches. Probably still do
Ed. A search on my local electronic components shop’s site returned nothing on a search, but scrolling the 211 items in category “switches” found a missile switch cover (to suit toggle switches) as #86, so yes, we still do
Ed the second. Thingiverse shows many printable missile switch covers for diverse switch types
We used to call those missile switches. Probably still do
Ed. A search on my local electronic components shop’s site returned nothing on a search, but scrolling the 211 items in category “switches” found a missile switch cover (to suit toggle switches) as #86, so yes, we still do
Ed the second. Thingiverse shows many printable missile switch covers for diverse switch types