Sounds like he may have not pushed the slide lock plunger back. I have yet to encounter a slide lock that is a bear to push in new or not clean or dirty.
NRA Life Member, NRA Range Safety Officer, NRA Certified Pistol Instructor, IDPA Safety Officer, USPSA NROI Range Officer,
ICORE Range Officer
As you are, I once was, As I am, You will be.