I've been bouncing back and forth between projects, but I can finally declare this one complete, well, mostly. I never got an estimate from a pool company to come do the repairs, but I suspect based on the other posts I've seen and past experience, this repair would have cost us in the area of...