Total Tons Shipped -- 3.8 million, a decrease from 3.9 million in the previous quarter. Met Segment Average Realization -- $115.31 per ton, compared to $114.94 per ton in the prior quarter. Export Met ...