 People come to a pool to get sun, but with the heat that we get over here, they even have to have shaded areas for the kids out here and for the parents. But talking, these facilities are getting a lot more popular because of the heat down here. I was talking to some folks here in the city of Plano who were saying they're seeing record numbers starting to come into facilities like this during the day. They open up at 10 for the little kids.