My 4" PVC sewer pipe was found to have a belly in it which was casing solids to collect. My options are to have Mr. Rooter install a liner for $80 per foot, $7500 or dig and replace entire drain for $12,000. My drain is 87' long and 11' - 14' deep. Are these liner able to remove a sag in the pipe?