Not much, because they used the profits of a 10 year boom. You can't count on that happening every decade.
And who knows what wonderful things could have been done with that windfall if they did NOT have to repay billions in debt? Better hospitals and schools? Lower taxes? Better roads...