What size of polisher everyone's using? I am thinking of buying a 8" Random Orbit Polisher from Simoniz...is it too big?