Pool(s) or Swimming

We have a pool. In case I haven't mentioned it yet, a very BIG pool. It's dimensions are 20x40. Meaning it's big enough to hold about 20 people comfortably, possibly more. Why do we have such ridiculously large pool? Most pools in the area are about half that size, except for the public pool, which is quite a bit larger. Apparently the architect who designed most of the houses in this area made this his own home, so of course, he gave himself a huge pool. Which is nice, because now we get to use it. Oh, and did I mention it's 12 ft. deep at the deepest point? You could even use a diving board in this pool. Actually, there used to be a thing for exactly that purpose. Our pool also used to be screened in. That is, until Hurricane Wilma blew the screening, metal frame an all, into the pool. Bye bye, screening. So, like I said, the perfect pool for pool parties, though we almost never have any...but our most recent one was today, and the boys seemed to have a blast. Oh, and miracle of miracles, they all cleaned up after themselves! I didn't have to do anything! Yay!