I’ve had fantastic results with Novus, can find it on Amazon. Comes in a 3 stage kit, Heavy Scratch Remover, Fine Scratch Remover, and Plastic Clean & Shine. Ive used it on several different types of plastic and it works wonders. It even worked cleaning my EK GPU Waterblock. NOVUS 7100 Plastic Polish Kit - 8 Ounce https://www.amazon.com/dp/B002UCYRZU/ref=cm_sw_r_cp_api_i_SCBCY9TDFTYHHMCEN1B8
https://www.amazon.com/Novus-7100-Plastic-Polish-Kit/dp/B002UCYRZU/ i'd try this before anything else
Novus plastic polish is the shit. https://www.amazon.com/dp/B002UCYRZU/
Back in the day I used to use Novus to remove scratches from CD's, DVD's and Laser Discs. No kidding. Really does work. https://www.amazon.com/Novus-7100-Plastic-Polish-Kit/dp/B002UCYRZU/ref=asc_df_B002UCYRZU/
This is what I used
Novus 7100 Plastic Polish Kit - 8 Ounce https://www.amazon.com/dp/B002UCYRZU/ref=cm_sw_r_cp_apip_XbE6DnP8nBt7o
This is what I used
Novus 7100 Plastic Polish Kit - 8 Ounce https://www.amazon.com/dp/B002UCYRZU/ref=cm_sw_r_cp_apip_XbE6DnP8nBt7o