In a forlorn attempt to avoid building character I tried carefully dropping in a minute amount of Kontact cleaner into the tiny holes in the switch and using the compressed air and clicking the Tuner, Aux and Tape switches a hundred times.
Result: Tuner works perfectly but Aux will cut out after 10 mins. It tends to make noise in the left channel and then Speaker cut out, and then Speaker button come back on again with sound through both. At which point I powered off the unit and accepted that the Aux switch must get the full dismantling treatment.
What grease should be used in the switch, and is there a homemade substitute as only the tiniest amount is required?
Can petroleum jelly be used, or anything else?
And, yes, will check and reflow the RCA's input / outputs.