Can they somehow extract this back as a tax deduction? The parties are remarkably willing to negotiate, whereas your mortgage provider won’t move very far at all if things get sideways. If they aren’t, I’m certain there are ways to financially engineer things to recoup at least some of the “loss.”