and, according to the reports from the week before, tux had moved the vast majority of deposited BTC's "offline" before the attack (~400K, I believe - there were a bunch of threads about the huge BTC transaction in the block chain).  So any attack withdrawal would have been limited at most to the BTC's that were not moved offline.  I assume that would have been some small percentage based on a calculation of the average daily withdrawals.