The part (link above) works. I successfully removed the broken one (I recommend using ChipQuik if you have it) and installed the new switch from Mouser. Fit perfect. Cost me under $8 with USPS First Class Shipping (you have to request it in the Shipping Instructions and total weight of order has to be less than 16 oz.)
Hope this helps someone else! m/
I just got one in for repair – the switch is broken, housing separated. I emailed EH, this is the reply I received:
It doesn’t say what, if any, the cost would be. I’m sure it’s a viable option. However, as I am a repair shop, I am sourcing the part myself. I found this at mouser.com. I’ll post details of the repair and part compatibility once I receive the part. According to the datasheet it looks like it would work.