Are you sure they are bad? Have you checked them out of circuit for short/open action.
Maybe the grease inside has gotten hard after 30+ years. I would try get a little WD40 inside and push the pin a few times to try to free it up if you do not get the short/open action.
These are definitly not your standard microswitch so they will be hard to find. Have you called Phil to see if he can locate them?
I had to fix a Jag AC controler microswitch problem before but I was able to find after market ones that had the same size and action (normally open). If you can figure out the action you could make a mounting plate to fit a new switch to make it work.