Orange County paid the money

[desmond]

Orange County paid the money back in full. They had to borrow money and extend the payback period but they paid it back.