Fix it. Give Hydrotech a call and see what they say. It is "free" to fix it. You will get that money back when you do sell compared to selling now with the repair needed. You may even make money...