I have no way of knowing how the property is titled, as I have never seen the title. There are a lot of possible factors that her lawyer can help her go through, which might affect the amount of her interest. But she apparently has a title interest in the house which, on top of a long-term marriage, makes it very likely that she is entitled to a share of the proceeds.
If they can agree to everything and can figure out the paperwork, they can handle the divorce themselves.

