Even if his firearm became loose in the holster one doesnt need to hit a mag release, place the gun on a counter and then squeeze the trigger in order to place back firmly in the holster does one?
Perhaps instead of all those charges taking said pistol and smacking the butt upside of his noggin may instill a better safe handling procedure. If issue does not resolve, continue said remedy until sinks in. What a douche!