I'm glad to see you cleaned it up nicely!!! If you ever have to deal with it again, you might try using a pencil. The graphite from the pencil "lead" is a very fine polish that doesn't hurt the metal...