Are primary residences usually exempt from chapter 7 bankruptcy? I didn’t think they were.
Also if his LLC is a sole proprietorship, or he owns 100% of it minus liens, then yes they should take that as well. If it was a company where he didn’t hold all shares/ownership, then they should just take his stake.