Just chopped down 2 small/medium trees that had roots that went under the foundation and cracked the shower drain pipe. Pipe and foundation got fixed professionally as gas to be jackhammered but had to make sure doesn’t happen again. Anyone experience with killing the roots from the stump or digging it out?