just for grins I’d sand the affected pins with some microfine sandpaper like 2000 grit (what they use on clear plastics) very carefully by hand, in case there is tiny corrosion that can’t be seen with the naked eye. Or get a jeweler’s loupe off Ebay and take a good long look at them – get a loupe that has a bright LED in it. That way you can detect really tiny flaws if any.