New build, inground Gunite, is finally (almost) ready for plaster. But we've had a lot of rain for the past month (about 20" since Xmas) and the dirt around the pool has been thoroughly saturated. Now that it's finally stopped raining, there are streaks of dirt around the PVC pipes showing that water is leaking INTO the pool. Is this a problem that will be solved when the plaster goes on? Or do I need to excavate the back side of the pool shell and waterproof with Hydroban?