By the way, thank God it was just the pool. It was touch a go for a while since we lost power and the sump pumps were not working. The water got to within 3" of the floor of the basement but the power kicked in and all is fine - at least indoors!
Amir