I would have thought that Mt Gox could have auctioned off the coins like the feds do? Surely there would be some interested buyers at a slight discount that wouldn't effect the market as much as dumping on-market.