You heard correct.
Upon production of the gas, the leaseholders (ExxonMobil and other producers) retain 87.5% of ownership per terms of lease in most cases. Alaska gets 12.5% (1/8th) royalty share and would have to buy the rest from the owners.