The reason i was referencing export % vs production % is that a change in the availability of coal for import would change the market price differently than if we assumed that all coal produced is available on the international market (which is false).
But yes 6% in absolute terms is worth caring about.