Wow, that is a lot... Just keep trying their hot wallet, and eventually you will be able to withdraw all of it. Good job, and so lucky... Anyway, you can probably also ask some of the staff about when they will restock their hot wallet.