 I think he's an all-star. He's earned it. I mean, how many starts has he made? I think today was his eighth start. By the time the all-star game comes around, 10, 11. Enough. That's enough. I mean, sub one whip. Someone's going to get hurt. Someone's going to get hurt, and he'll be an alternate. I don't think he's going to be, but someone always bows out. There's always actually, frankly, it's usually multiple pitchers who bow out. The guys that pitch Sunday and everything, yeah.