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 or markings but takes the rust off. I've used it on knives for years. I just color over the rust and then use the eraser to take it off.