Cleaning tube pins

For those folks who are suggesting isopropyl alcohol, I presume this is safe to do on a tube pin that can get hot...anyone concerned about that?
Presumably the alcohol evaporates enough to not be an issue?

Alcohol evaporates 100%, leaves no residue. Use 91% or 99% isopropyl alcohol. Wait til completely dry before reinserting tubes. 

@OP,
Been doing it for at least twenty years.
Alcohol quickly evaporates. What you are wiping dry is any water content the alcohol didn’t evaporate with it.

.

I wiped down my gold plated pins with some 91% isopropyl alcohol tonight. Seemed to clean the pins well enough, we shall see if that also cleans up the sound a little.

I had the dremel out for another project but just polished some NOS pins with the polishing bit (felt) and some compound. I can reach the outside but to get the insides, I'd have to trim felt and put some time into this. Will there be a reward for such activity? The outsides went from really tarnished to original surface. It's a contact surface I'd say small gain??