Saw he got in for an inning of game 3 against TCU, so apparently the injury wasn't serious. Obviously it goes without saying that we need as many of our pitchers as healthy as possible with post season looming and we also need guys like Thomas and Kettler to start stepping up again.