The only thing...he didn't immediately grab the hamstring. Every hamstring injury, including mine, the player immediately grabs it and tells the world. So hopefully it was just a calf cramp or something simple. Fingers crossed.