 And, of course, our very own Gunnar Henderson is an all-star. And Gunnar Henderson will be starting at shortstop. So it'll be fun to watch. He didn't have the best performance, of course, when it comes to the Home Run Derby. But that is what it is. I'm actually glad. I'm actually fine with it. But you all remember when Cito Gaston,