Thanks for your reply, TexMex! I appreciate your suggestion. Yesterday, in desperation, I happened to try some mineral oil I had in the cupboard. I use it to season and restore my cutting boards, so I figured that it might help the tiles. It worked very well. The scratches have disappeared...