I have a 1920 Colt 1911 that was accurized by a guy in San Francisco back in the 1960’s. It was used competitively quite extensively years ago before I got it from a relative but I don’t fire it very often now. I noticed the slide stop notch has been deformed - still works fine - was wondering...