 They had like a record number of 90-degree days in May, June, and July. So did we, for that matter, too. I was looking like Memorial Day week and then some days in June and a couple in July last year that we were in the 90s. Then it got a little cooler by July and August, and then we got really hot. Labor Day weekend, we were in the triple digits. October, we had temperatures in the 90s last year.