 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 on the 7th of July of 120 degrees. And they've got a streak of 115-plus degree days. That's six days in a row and counting as of yesterday. And it looks like they will continue to see 115-plus. It has been unusually hot. It's been a trend over the last decade.