 And a little bit when that game goes, well, first pitch happens in the next, what, 20, 25 minutes or whatnot. But either way, if he ends up declining the invite or if it ends up being a more severe injury than we had initially thought, who ends up replacing him? Would it be Willie Castro, who's played pretty well this year? Will it be a guy like Jose Miranda, who has been ripping the cover off the baseball? I mean, the dude over the weekend, he tied a modern baseball record