It sounds like the steering wheel was turned or had pressure on it when the key was turned off. Have him try turning the wheel a little in order to free the key. Otherwise I'd think maybe the key had too many burrs and one got caught up.