[DeRock]

Did you read the article? The whole thing is about how to actually calculate it, while being conservative through uncertainties. The answer: $3.4 billion.