I'll second the vote for Novus plastic polish #2. I have used it for years on all types of plastics. Don't bother with Novus #1 I(lighter) and Novus #3 (heavier). I tried them out, and ended up throwing them away -- not necessary!
Phil Nelson
Phil's Old Radios
http://antiqueradio.org/index.html