I think Washington is a community property state. He has only
filed for divorce. It isn't finalized. Her lawyer may drag this out for a while. If so, she may still get a community share of some of the contract, especially if bonus money is paid on the front end.