by plumbbob »
Mon Jul 20, 2009 11:29 pm
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!