Do we know how much they have dumped yet, so we have an inkling of what's to come?

Sure, 4000 coins is not much more than what's mined in a day, so it's nothing we can't handle, but it will drive down the price for a while.