Good for him. Didn't have to bet the house to win the house.
Get $225k house, sell it for high $100k, use some of the cash to pay all the taxes, pocket the balance? Too much hassle, just take the cash, pay the tax and go enjoy rest of your life together.