[zaccus]

Even assuming they still owe the full 250k, that's almost a million dollars in equity. They could easily afford another 1.2MM home if they sell.