Ok, so I have a problem with some marks on my EDC knife. It's a spyderco Centofante III, made of VG-10 steel. I used it to cut up some hot peppers, And I guess they were pickled in vinegar. I should have washed it out, but instead I just shook it and wiped it on my pants. When I looked at it later that night, there were a handful of little dark orange-ish dots on the blade. I tried to wash it out with hot soapy water, and wipe them away with a paper towel, but they're still there. Because it's just a mark, I don't have to worry about pitting or anything, do I? Also, what can I do to get rid of them? I heard CLP (gun cleaner) will do it. Any other tips?