Hope he's fine, but injuries happen. This isn't football where you pull the starters in a blowout.

We've been lucky so far to not have any pitcher injuries. Eventually the luck will run out, no coach should get the blame for it unless it's a truly ridiculous situation like throwing a reliever the day after they threw 50. 103 pitches on a reasonably warm night after a several starts ain't it