There must also be a ton of interest due on 17 billion in cash just sitting in a trading account. At 5% simple interest this is .85 billion, but compounding that it would be about a billion dollars a year. It has been 9 months now so perhaps the actual number is drawing closer to 18 billion. If they have to sue to get it back this could turn into a potential treble damage claim.