So it's actually a more difficult question to answer than you might think, but we've paid in excess of $10 million, and the payments were still coming due up until Friday.