I for one don’t know if it’s been paid in full or not. Should they PR every bit of revenue, maybe or maybe not at this beginning stage. We’re stuck waiting for two filings to tell us if it was paid.