I suspect that the seller of the 10,000 at $9.00 has accumulated up from the lows of $4.00 so getting out at $9.00 is a great outcome. I doubt it would be any holder that has been there fr some time as they could just wait and see what happens over the next 6 months.
A parcel of 10,000 would make this seller one of the top 15 shareholders.