Adding an extra 9 billion in trading would be 30% of daily volume, and might push the price down a bit...
But since about 30 billion changes hands every day, you might even get close to that out in real (or "real" for the BTC zealots) money.
Too bad they only traded out 684BTC. Hope they held.