I'm surprised they haven't dumped the confiscated coins before he has a chance to convert it over.
I thought the DoJ sold a bunch earlier this year? Twice or so?