 But everybody would move, and then there'd be all this real estate for more people to come, and it would be cheap because it would be such a glut of real estate and condominiums and people that live in Texas and think, you know what sucks? People that live in Florida, you know what sucks? July in Florida where it's 100 degrees and it feels like 160. You know, 70 degrees in Aspen sounds awesome.