I like this solution. A professional plumber might not do it because it might be difficult to guarantee the work, but my gut feel is that a pipe patched like this would be better than the original. I might have tried tape, maybe the kind of thick black tape that seals to itself or the tape...