Seems dilute bleach is the way to go! But . . . trouble is, it needs rinsing off well and the tiles are massive and are at present in my front room. No way I can move them outside to clean, and get them in again - no way at all. And they're way too heavy for me to ask anyone else to risk doing...