I get hamstring cramps quite a bit, but never when running at full speed like that. I have seen many hamstrings go in that exact way...especially after getting pushed by someone.
If he doesn't miss any games, or only one game, I will be flabbergasted!