Dredging up an older thread on polishing.

My question is *NOT* about the polish to use but what *POLISHER* to use. There seems to be three-ish choices;

1) Using sweat and hands (of you or others) - $0
2) Using an electric single head polisher - $50 (no name) up to $200 (name brand Dewalt, Wen, etc)
3) Using an electric dual head (random orbital) polisher - $100 (no name brand) up to $400 (Cyclo brand variable speed)

Your thoughts? Speed to use?

Thanks, John "Thinking Spring" OHM Ω