OK, my husband thinks he can repair this. Apparently the term to look for is vintage (or antique) push button switch. Unfortunately, lots of light switches show up, but at least I know what I'm looking for now if I need a new one. I tend to ask friends in the UK when looking for stuff like this - for some reason, there are a lot more parts there