We have a Victorian tiled floor that needs some renovation- an area has become loose. We want it cleaned and sealed at the same time, but don't want a sheen. The restorer is planning to use Tile Doctor products. Is this good or bad? I quite like the matt look at present, but it is hard to clean. To be honest, I rarely clean it.