You're pretty close to the mark. A Sydney Morning Herald article is quoting it as $514 billion over a decade.