I think you guys saying "HRS is great" and "we're playing in one of the best stadiums in the country, no need for something else" are thinking about it short term. Yes, HRS is great for this upcoming season and a few years beyond. But what happens if in 10 years when that lease is up...the owner...