you might try shooting some WD-40 onto the contacts of the other switch.
Works nicely with most types of contacts,
including those carrying RF energy.

BAD IDEA! WD-40 is flammable. Try
DE-OXIT for cleaning electrical contacts. That's what it's made for.