Wow..I'm glad your son is going to be O.K.

Thanks for the info on removing dead stuff from the pool. I get mice and chipmunks all the time and I'm always uneasy swimming for a few days after.