I just had my pool finished with hydrazzo and the installers mentioned getting in there with a diamond sanding/polishing pad to help along the curing process. My question is what grit and can anyone recommend a good brand.

Thanks
Milton.