No, someone dumped like 40k coins... way beyond the 2k Casascius mentioned.
And in this case, I didn't dump the coins on the market, I pretty much removed the coins from the network - completely inaccessible until someone hand-types the private keys back into a computer.
That would have an upward pressure on the price, not downward, if anything.