How much do you all expect ticket prices to rise/drop for Texas? Assume it’ll be a noon game.