 Well, it is unprecedented to he out west. 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.