New member here. Not sure if car radios are appropriate for this forum. I'm restoring 10 of these radios. Just now getting to the aesthetics. These guys are of the 1941 to 1948 vintage. The six push buttons are made from some type of plastic, definitely not Bakelite and they have a good bit of oxidation. What is the best way to remove the oxidation and shine them up?