. My Solution?
Please don't cringe too much. I use an exacto and slowly and carefully
scrap and carve away at a small section of the plastic switch housing until
I have a small hole in it. I spray the contact cleaner in it and rotate
the switch. It then works perfect and the instrument is usable again.
=============================================================================
No need to cringe. That solution has been around since the 1950's +/- with the erratic strip tuners in TV receivers.
Insert the hose into one of the various holes of the tuner and apply the product while exercising the tuner knob. WD-40 was used for that fix.
Tektronix included a can of WD-40 in their maintenance kit for pots and switches in that general time frame.
Rolynn
Tek Bvtn & Sunset 1966-1971