polishing pins of NOS tubes

Removing that corrosion is of far greater concern, glad you were able to get it sorted out! :-)

I hope by ’corroded’ you mean ’tarnished’.

If that is what you mean, a small strip of metal cleaning/polishing cloth should work, followed by a cleaning with 91%+ alcohol.

Loop the cloth around a pin, pinch it with tweezers, and clean with an up and down motion. When nice and shiny (untarnished looking), pour the alcohol into its bottle cap or a bowl to pin depth and stick the pins in it. let it sit in it a bit, then take it out, dip the tip of a paper towel in, and repeat the tweezer thing, finishing with a dry paper towel.

A Dremel tool I think is best, get a polishing attachment and you won't have to go through all of the above!

I've used a Dremel many times to clean up tube pins, it's not difficult at all as long as you pay attention to the direction of tool rotation and use it correctly. I use Maas metal polish on a small felt wheel as opposed to the brass brush though. Even if a pin gets bent a little, a quick tweak with a pair of needle nose pliers gets them back in order. Then clean the residue off with alcohol like the previous post describes. I also have used the exact same procedure described above with the exception of using very fine grit  wet or dry sandpaper strips cut 1/4" wide instead of a polishing cloth. Usually 1000 grit works fine.