Thanks for the tip.
But in general, you ALWAYS have to be very careful with plastics. While a product (such as a wax or polish) may not damage plastic itself, you must be VERY careful of how you remove the polish. You MUST use a very soft cloth. Using rough cloth, or a dirty cloth can scratch plastic (and occasionally glass) no matter what is used to polish the surface. It's especially important to be very careful with plastic dials, and meter faces, which may be irreplacable.
Just a reminder to be cautious.