how many people actually dumped their coins yet. it seems like most of this trading is still from the miners