I I’m correct he had 5 max 7 BTC’s
I thought he had 10 BTC, but you're probably right. I never really looked into the details.
I seem to recall 10BTC.
He had 10 & he dumped them all at approx $4,000. I know this because I was buying at pretty much the same time he posted that he’d capitulated.

I remember getting my "gambling" stash getting liquidated during the same time as mindrust losing his corn. But 10 BTC? Thats gotta hurt. Especially now.