Okay. That could be quite a lot of money. How much money do you think there is right now? Do you have any estimates? I know I've seen one that said around $100 million is in there and, of course, 2018 would be the earliest that anyone could start to withdraw, because there's a 10-year waiting period. Is that correct?
On November 7th, 2017. See this statement in context.