Thanks Yip and Kim - Funny story on pool volume. I estimated based on length, width, a guess on depth, and taking into a count the odd shape. I estimated 40,000 gallons. I just found the original builder's manual here and looked through it, and saw a note about pool size, 39,200 gallons. Not...