The amount of royalties to date that have been paid average around $90 million, and that is just the royalty paid to the government. That does not include what we call secondary taxes paid in fuel, income taxes, or land use. That is strictly the royalty amount.
On April 8th, 2014. See this statement in context.