 And, well, it is a very, very surprisingly mild forecast for the end of July. It could certainly be a whole lot worse outside this time of year. We know that for a fact. We still have August to get through, folks. So don't think we're off the hook for summertime temperatures too soon. There's still going to be a full month of summertime left.