I guess that they need to figure out themselves, I think

the guy should still pay for his share, if that $2500 is not enough, then they should record how much he owe their join account. After the house is sold, deduct that amount from the money he will get.

What I meant is that try not to let the bank take their house, that will hurt your friend's credit and her finance as well