We have an 8 man pen so it's not really taxed, but I agree it's probably not a huge deal. He retired 11 in a row prior to this inning, not all pitch counts are created equal. Well, relatively taxed in that most of the reliable guys have been used lately. But yeah, it's May 5th and it not like he has a history of being abused; people are talking like he has a real shot of falling apart because of one long outing.