Pretty good entertainment. They do have this process perfected.
We watched our inground pool go in in 1969ish. We had pounded sand walls. I think with a wooden frame behind. I was young....memory fades. I just wanted it done so we could swim. They hit an unexpected underground spring. I know it was a big problem but, again, not sure what the soluton was.
Your neighbors will not regret this short inconvenience for the long lasting enjoyment.
Wonder how entertaining the initiation party will be. Ours was everybody in the pool. Swim suit, clothes, willing or unwillingly, everyone went in.
The process still needs a little work in older neighborhoods like ours. First they hit a sewer line that couldn't be marked. Yesterday was a cable line that had been marked before all the work was started and erased the markings. They do have some ground water that's being pumped out but they say a little stone in the bottom will take care of that. All is moving forward.