About 5 years ago we had a new bathroom fitted and were persuaded to have non slip tiles on the floor (Young children at the time) They are very rough (like sandpaper) and shred any mop that goes near them so I have to scrub them with a brush, on my hands and knees. It is time consuming and messy. Any advice - products, cleaning equipment that might help? Might steam cleaning work?