I found a Colt Mark 80 stainless today. Internals looked good but the outside not so good. Lots of places where the finish was dull/discolored from having the gun in a holster. I really wanted to get it but was afraid that it wouldn't clean up. Is there something I can use that will clean the finish? Perhaps using a Dremmel with a buffer tool? Any advice would help.