I’ve never actually needed on of these but they keep showing up in movies/games…so I’d vote this

Sounds like you need a small electrical project then!

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