We recently had our pool redone with Pebble Sheen. It's rougher than we'd like. I'd like to polish/grind it to smooth it out a bit. I did a small section in the spa (which I can drain) using a diamond polishing pad on an angle grinder, and it worked quite well. It results in a terrazzo like effect. It would be quite labor intensive to do the whole pool. Any advice regarding tools or tricks to get a good result?