He had 10 & he dumped them all at approx $4,000. I know this because I was buying at pretty much tge same time he posted that he’d capitulated.