We had more people at today's game than the Pirates have had for 4 of their home games, more than 2 of the Marlins home games, 3 of the Mariners home games, 3 of the Astros home games, 3 of the Royals home games, and 7 of the Indians home games. That amazes me. I hate that I couldn't be there, but it's great to see us put up that kind of number. If we can find a way to host a regional or super regional, I think we break the record.