[quote="plumbbob"]With great difficulty I am afraid. The only solution is to empty the pan of water, dry it, and polish the marks away with a diamond rubber. If there are many scratches, it will probably be impossible or impractical to remove them all. Not good news many thanks appreciated
