well, there's a liability (runoff notes) in approximately the same amount as the assets for WMMRC, and if the plan remains to let it run off, then all those assets are spoken for via the notes.
If, however, they decide to keep the WMMRC business going and start to grow it, then yes, I would revise my assessment to include those assets (and the associated runoff note liabilities) in the calculation.
As it sits today, though, it's effectively netted out to zero and can be ignored.