With how many coins he has along withthe original flaps and blue tape, I would not be surprised if he bought from Mike directly back in the day. Confiscating the "stolen" BTC fcrom someone who received it in an entirely legal transaction would seem unlikely, particularly if they also seized the item purchased with the BTC -- that's double dipping
.As far as anyone knows, all the physical BTC he had was seized, and its looking like the government decided to peel which I think makes sense in this case as they have a liquidation timeline. I do wonder what they are doing with the spent coins- maybe keepsakes for the agents, maybe returned to Zhong as 'empty' (unlikely), or auctioned off?
What I find particularly funny is the tiny-ass silver bars he had stashed away along 170+ BTC and small mountain of cash.. was he thinking diversification? 
IANAL, but I am the son of one, and I was of the same opinion, that he bought direct from Mike, so whoever bought them should be fine.
Laws are a bitch, but I can find my way to look them up thanks to my dear dad at least.
As for the silver bars, I got a good laugh at that myself, and no idea. Maybe he doesn't /didn't know much about PM's?