Just to close this thread, there were switches advertised on EBay and The Parts Place but all were "out of stock" with no idea when new ones would come in. I took my switch apart, cleaned the contacts as per Cammer above and put it back together with some epoxy and Voila!, good as new (at least for now). Thanks to the forum.
|