I’d give you 3:1 odds they had already pulled a bunch of cash out of that house (via refi or 2nd mortgage) that they had almost zero equity when they sold.