There's even a current production of that switch available, but it looks like the mounting tabs have been changed. May still work if you swap out the complete pot cover? But you need to buy the complete pot to get the switch.
http://www.newsensor.com/ProductHigh...aspx?ProId=826