duraglit used to do a plastic polish for plastic and glass similar to the kits you can buy in mobile phone shops to polish out scratches in phone fronts etc.

Cheers

Ian