Ok, so let me see if I can articulate this. We finished our pool build at the beginning of December 2018. During the dig our sewer line was found and hit by the backhoe digging the deep end of the diving pool. We were given the option to repair it as it lays under the pool and dig it deeper or...