Only 12k? There was a 1k dump on intersango's euro exchange and more than 0.4k on bitcoin.de. Most other currencies and exchanges got a piece of the action which suggests that 12k is a fair bit south of the real figure.
yes it was more like 3 10k dumps so a total of 30k. I'm guessing no panic because no bad news and a lot of good... who cares if some bear wants out?