 And then be careful of the riptides because a lot of this also creates this weird hazard in the water. I have been in a riptide. I knew what to do, and I got out quickly. But 19 people have lost their lives in rip currents this year in the U.S. or in our territories, which is wild to think about that. And more than a third of those deaths happened along the Gulf Coast.