He is, it was loaded as of 8:31PM EST (although i just emptied it). There's a lot of people trying to withdraw, just wait a few hours / tomorrow morning and its usually back up again. To be honest, its reasonable, you dont want too much money in the hot wallet to limit potential theft. Investors took about 1,000 BTC already, and that doesn't include the users which is a lot more, so you just gotta wait a bit.