On 15 Jul 2018, BQ340 wrote in
alt.home.repair:

On 7/15/2018 5:15 PM, Nil wrote:

http://rednoise.vacau.com/temp/switch/

Looks like a standard 3 speed fan push switch

https://www.1000bulbs.com/product/54223/PLT-10038.html

https://www.walmart.com/ip/ES15102-G...itch/101963790

I would think it's a pretty standard switch, since it's not doing
anything very fancy. I would have liked to have found the exact
same brand and model switch but they're probably not made any more.
I see others similar to the ones you cite at amazon:

https://www.amazon.com/Circuit-Push-.../dp/B004PAWPR2

https://www.amazon.com/Satco-90-1679.../dp/B0042FAK5E

https://www.amazon.com/dp/B010O67BXI