 Bobby Witt Jr., especially with the slide that Kansas City got on, took a little bit of a backseat. Gunners wars at, what, like 6.3 now or something like that on the year, which is almost two full wins better than Bobby Witt Jr. at this point now. So I got to give him the credit, and especially since Gunner Henderson's already announced that he's going to be in the home run derby, I think that a lot of people will also carry that as added value for voting him in.