The standard deposit insurance amount is $250,000 per depositor, per insured bank, for each account ownership category.

I wouldn't be all that worried though. I'm not sure if 9 billion puts a dent in their accounts. They move a lot of money.