Another vote to take it apart and clean it. That switch will last 50 more years with a good cleaning and some fresh dielectric grease. Glad you're not pitching it for a new repop!