Does anyone have an idea how many shares have to be dumped? This could put a bit of downward pressure on the stock and may take a while to before the selling is concluded.