I thought he had 10 BTC, but you're probably right. I never really looked into the details.
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 thinking I wish he had posted he was going too first so we could talk him out of it and that if I was going to dump them at the low there is no fucking way in the world I would tell us!!!