I am considering putting a star floor in a portion of our pool and some porcelain tiles on the steps and the edge of the benches and swimouts. Since I understand Hydrazzo is a highly polished, sanded product, would that eliminate the use of either the stars or the tiles? Or do the Hydrazzo people polish around each tile or star point. Does anyone know?