Just finished pool Crete and there is a leak coming through side wall from ground water. We installed a French drain under the pool in case of ground water but this water is resting on top of the pool Crete. Pool builder wants to patch where leak is and try to keep water out. Should we dig some sort of hole in the bottom to allow the water to get to the French drain or is the pool Crete porous?