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.
One day earlier he was celebrating reaching double digits.
I am in the double digits club now. Yay.