The ones they have publicly admitted to having (Dark market coins) have been sold off I believe. That isn't to say they might have stashes of coins out of public view.