One thing to keep in mind is the buyback limits, either daily or one time block purchases, and how they're governed by recent historical trading volumes.  Not to say we won't or aren't buying back, but volumes until recently have been pretty low, and the formula uses the past four weeks history, as I recall.

Assuming they (not Bao) still own the port ore and haven't been paid, 70kmt @  a lowball $80 per grosses them $5.6M - not a bad payday.