 That's about as late as you get it to become a National League All-Star. I don't recall anyone ever getting it later than that. I mean, he found out on Monday he was in line at Hershey Park. We'll have to find out what ride he was going on there. But he made the trek to Texas, and the Nationals had multi All-Stars, two All-Stars for the first time since 2021. Unfortunately, Finnegan did not get in the game, but he was a deserving All-Star, I thought, before that. But ultimately, he gets the honor, and that's what's important and very cool for him at his age.