That's the best case scenario. Worst case is that they get nothing back and own nothing. (Based on the quick summary of the deal above; I don't know more than what's here.)