 I know the voting has probably been done on the player vote, but if the Nationals have to have a pick, you hope maybe they can get more than one All-Star. But it's not going to be an easy choice because you really have three deserving candidates with C.J. Abrams and Kyle Finnegan. I mean, Irvin was a candidate for Pitcher of the Month in June. I voted for him. As did I. So at least he had two votes. He is surging into the All-Star break.