That's exactly why the injury happened. Had he "ragdolled" it, he would have been sore the next day, but would probably wouldn't have suffered the same injury. Just a really odd occurrence.
Yes, Stenosis is the big one. I had no idea I had it until I re-injured my neck in a skiing accident. I told my neurologist about my old football injury and he said I was lucky, given the stenosis in my cervical spine, one bad hit would have caused major issues. That's why NFL teams put rookies through a major physical before they step on the field. Just in case.