 Well, it is unprecedented that he outweighs the records going back in some cases to the late 1800s. But let's pick on Vegas for a second. I think their records only go back to the 1930s. And I say only because, I mean, there's a lot more weather way before 1930. Everybody knows that. But they did set an all-time record high for Vegas.