I figured I'd try a product. NOXON 7 Metal Polish. Applied with a q-tip and rubbed and rubbed and rubbed. Buffed and buffed and buffed, you get the idea, with a cotton cloth. Worked! Polish the rest of the gun and it works great. The "small" scratch was an idiot scratch putting the slide stop pin back in.