We bought a house with an older gunite pool and the deep end of the pool popped a few inches years before we moved in. This year, we hired a company to drain the pool, drill holes, redo tiles and build up the wall so everything appears level. Initially, when the company was drilling holes, while draining the pool, a lot of water was coming up into the pool with some force but then eventually stopped afew a few minutes. The pool has sat empty for a few weeks while the work to the coping/tile was being done and no further water came in from under the pool during this time.
All of the tiling/coping and building up the wall is finished and, today, the plaster is being done so it will be time to refill the pool. My question is should we
1) plug the holes in the pool, leave the main drain open and fill the pool, hoping to fill any possible void under the pool from the main drain with water that appeared to be trapped under the pool that was there before before or
2) plug all holes and main drain and fill the pool as normal?
Any help and a quick answer is appreciated as we need to decide today how to fill the pool!! What would you do?