I read an article from 2018 that they were owed millions and did not find anything else more recent. Have they been paid? What’s the situation?