 I suggest you check it out. It's a nice amenity. And the hours are a little bit later on the really hot days. Also, if you've never been to a New York City public pool, let me just give you a little info. They have a lot of rules. Listen, there's a lot of people in there.