Pretty sure that was tossed. Pretty sure no one would ever have to pay $2.5 Billion plus for a shell sham run by two clowns.