Is Rocket buying Mt Cooper from WMIH? Leaving WMIH to stand alone? Or is WMIH also getting bought. Thanks in advance