I am getting a client's home ready for the market.  She wants to spiff up her shower tiles. Usually, I use a white pad on my hand held makita, with a little water to lubricate.  Does anyone out there have any other ideas to polish these ceramic tiles?