I don't think these people would qualify as pool hoppers. They weren't staying on property. They were using it as the neighborhood pool. Pool hopping is one thing, but just going when you aren't a paying guest, that's totally different. The nerve of some people. Unbelievable.
I think the pools look great at WDW, but they are gross. They need to crack down on toddlers peeing in the pool and require swim diapers for kids under 5. Now that's the real problem I have with the pools. We didn't even go to the pool this last trip, because the pool was full of toddlers without diapers, so you know it's also full of pee. YUCK!

I know that's off topic, but had to say it somewhere.