Never want to hear about anyone getting injured, especially in the weight room. Those coudl be nasty.
No kidding. Hopefully it's just a strain but there are many bad things that can happen while lifting, like tears or even worse, an incident like that USC player had where he dropped the barbell on his throat.