Is it possible to polish away (or even gently sand away) the discoloration?
If not, then I guess miniman82 has it right. I'm not good at naming colors, but I guess I'd call my mask a light or medium gray.
Phil Nelson
Phil's Old Radios
http://antiqueradio.org/index.html
