 It'll be really, really interesting for that to see how everything kind of comes to fruition. But that all-star game, Tuesday, July 16th, I believe 7 o'clock Central Time's first pitch. It's at Globe Life Field in Arlington, Texas, home of the reigning World Series champion Texas Rangers, coincidentally enough. And it'll be a fun jam-packed evening full of festivities, things of those sorts.