I think mainly he used the market. It was a little while ago, but he may still have some orders left, not sure. Him selling coincided with Jelly13 buying (from memory) and LEO going good at the time, so his timing was good.