Wait I'm a bit confused. Did they just purchase 1,000 BTC of coins off bitstamp and their transfer it into their own wallets, or did they just withdraw funds from the exchange - not sure who would keep 8 million on bitstamp.
OP, your links are working, and I can't understand whatever it is you posted, can you please edit it? Also can't find other stories about this and can't find a TXID..?