Oh, sorry, I was making the point that USD is withdrawn as USD and I completely ignored what you wanted to know. 

BTC withdrawals are mentioned in the original closure thread: https://bitcointalk.org/index.php?topic=63749.msg746924#msg746924