Tube pin question?


Many tubes I've seen have what appear to be discolored/burnt pins. These have all been steel pins not gold plated ones. Was this caused during manufacturing? I imagine everything gets pretty hot when the glass was melted to create the vacuum. Concern or not a concern? Thanks!
rja
Stay away from any contact enhancers that are not in spray form. Quite often they have base carrier that can migrate. This can cause real trouble with tubes!

DeOxit in spray form is as powerful as you would ever want!
Is this magnetite part of the vacuum seal between the glass and the pins?
If it is I understand how a strong contact enhancer could potentially cause problems.
I would imagine that a strong enough solution could possibly destroy the vacuum and thus the tube?

BTW: Thanks for your responses, I've found them helpful.
Probably the best thing to do is wipe the pins down a bit with a clean cotton cloth just to remove any potential oil or grease and call it a day.
The bond of the glass to the pins will disallow the entrance of a cleaner. Folks have been using DeoxiT for decades. Just be certain to use it sparingly and not to leave anything on the bottom of the tube's envelope, that might conduct electricity, or migrate along the top of the tube holder. Personally; I re-wipe everything with Q-Tips, after application/cleaning.