Does anyone have any advice about how to clean old quarry tiles? I've scrubbed one with a scourer and soap powder which has got the tile clean but seems to have left it more porous/matt. Are there any products out there that anyone has actually tried?