Is it possible to have the wallet.dat and yet have no access to the coins? Why haven't they been tumbled yet?
What is the rush? Transactions are irreversible. In prior hacks attackers have waited days or even weeks before they starting obfuscating the trail.
The assumption is the address containing the stolen coins is not controlled by BitStamp but is instead under the control of the hacker.