 What else do we have at SEC Media Day? Is anything interesting? This is lightly interesting. You know how when people face University of Texas football, they'll do horns down as a taunt towards Texas. It's a big thing in the Oklahoma-Texas rivalry, and it's caught on. And in the past, a couple of Oklahoma players have been flagged for unsportsmanlike conduct. And one of the topics is now that Texas is in the SEC, can SEC teams do horns down during the game? Huge topic down south. Gigantic.