Just a guess, but has he or a previous owner installed an aftermarket magazine release? Correctly?
Make sure the magazine well is clean and with an unloaded gun, play around with seating magazines and operating the bolt to see if he can duplicate the problem. Perhaps you can see if any parts are worn et cetera.