I picked up some 1000, 1500, and 2000 grit wet/dry sandpaper with some PlastX to polish up my headlights. My headlights have lots of tiny dings from rock chips and I wasn't getting anywhere fast with 1000 grit, so I decided to use some 400 I had laying around. Worked fast enough... but it would've probably taken me an hour of hand-sanding just to take out the marks from the 400 using the 1000 grit. What are my options? PC+yellow pad+M105, or even more aggressive?