Just had the bathroom tiled and the tiler said that we should use autoglym on them to keep them nice and shiny and easy for cleaning. I take it means using the car polish! Anyone else use this stuff or anything else to clean their tiles (apart from the normal household cleaners)?