Like TrueBlue, I'd like to know of a substitute. As a workaround, I took the switch apart. As the pictures show, 3 of the 4 contacts were carbonized. I cleaned them and put it back together. It works!
Now for my screw-ups....
#1 - In my excitement I forgot to put some grease on them. ...