They couldnt take mar a lago under FL law. Not knowing whats in his portfolio... maybe his ego couldnt take being demoted from billionaire to millionaire status...lolI don't think they're going to send hitmen after him- they'll go after him legally in court to try and take his substantial personal assets. He doesn't want to personally default, which is why he was so desperate not to declare bankruptcy in the 1990s, when he was also personally liable (it's different from a business bankruptcy, of which he's had several that didn't have a huge impact on him financially). What could happen is that, if he can't make an agreement on payment terms, he's going to lose pretty much all his assets, which, I think, he'd rather avoid if possible.
He won't be going to jail or living on the street, but he could get financially crushed by his creditors.