Is he injured? He got took off for Danny Guthrie before the end of the match with possibly hamstring injury. Anyone got any news on that?