Oh, I'm not discounting traders at all. But I personally know a couple of people who have run guzzling mining rigs since the early days, and one of them is still sitting on about 150k coins from that. He dumps them off as they hit certain price targets, so one of those very well might have been him. Or a seller on here cashing out. who knows.