He should walk away with the 90k and live with dinged credit for a few years. He won’t want to buy again for a few years anyway.

Forget about “honor” or whatever you want to call it. The banks knew they were taking a risk and they lost. They deserve to eat the loss (assuming no fraud on the application).