Been asked to clean a fairly larger tiled floor on a regular basis. The tiles are porcelain and they are textured so not smooth..Ws tempted to put some virosol or TFR down and machine scrub and wet pick up.. Mop through after.Anybody got any better ideas?