How did (or will) your PB resolve the sewer line? IIRC, one of the PBs we are talking to says they literally gunite it into place, and then once the plumber has the new line, they patch the pool before plaster. I might have a detail wrong, but I'm pretty sure this is what he said. He didn't seem phased by it, and I'm certain we have our sewer line in the way.
Yep, that's exactly what they do. Here is ours after gunite. Project manger said they don't want to disturb the ground around the pool prior to gunite.