I am assuming the leak is not repairable...even with a lot of effort. My first choice would be to make the repair...even if it cost some bucks.

Dave S.