I use metal polish (Flitz) followed up with electrician's alcohol (on non-gold plated pins).
Burnishing cloth (the purple/cloth sand paper) works as well.
I never use contact enhancer (Pro Gold, etc.) on tube pins, just 99.95%+ alcohol or a non-residue contact cleaner as a final step. I fear that enhancers will gum up @ higher tempuratures (cleaning gunk from tube sockets is zero fun).
Some people use small drills to polish/clean pins, but I'm too clumsy to attempt this. The less stress you place on the pins and their glass interface the better off you/they are, IMO.
I've had tubes with "pocked" pins sound fine after cleaning/polishing. Hopefully this will be the case with yours.
Burnishing cloth (the purple/cloth sand paper) works as well.
I never use contact enhancer (Pro Gold, etc.) on tube pins, just 99.95%+ alcohol or a non-residue contact cleaner as a final step. I fear that enhancers will gum up @ higher tempuratures (cleaning gunk from tube sockets is zero fun).
Some people use small drills to polish/clean pins, but I'm too clumsy to attempt this. The less stress you place on the pins and their glass interface the better off you/they are, IMO.
I've had tubes with "pocked" pins sound fine after cleaning/polishing. Hopefully this will be the case with yours.