I doubt that contact cleaner would have had any effect whatsoever on the non-springy spring that was 75% of the the problem. smile

Mind you, I've kept the original worn switches, and can always "refurbish" those as needed in the future, where "refurbish" means (1) bend the spring back into a spring shape, and (2) remove the oxide from the switch contact.

cheers