No I mentioned earlier he has about 200k equity. Only owes about 500k on it. Worth minimum 700k, just to be safe.
But think about it even at a 2.2% yearly appreciation rate he makes an additional 75k over 10 years, even factoring in the property taxes. And he obv will be paying the house down during that time too, probably by another 30k(total guess, but probably close). Add all that to the current equity and he has 300k more to work with, unless the housing market crashes.