No, Amarex does not get the money.
They posted the $6.5M Bond from a surety company.
Only paid to Amarex if certain contingency events occur.