Stu:
Thanks for the pointers. I didn't know about the spring, but it makes sense.
I'll get some emory paper and clean up the contacts, provided I can get into the housing.
AFAIK, the only replacement switches are clamp style that you use on heaters and whatnot. Someone may be making an original-type switch again, though. It's been a while since I've checked.
Thanks again.