FDIC nis a freaking joke!
Yep. The FDIC only has only about $11 billion to cover all the deposits. A drop in the bucket.
In a crunch, the FDIC would get whatever funds it needed via appropriation or reallocation. The real bite is the risk of the FDIC not paying off in full on deposits above the stated maximum.
But the FDIC's big daddy has trillions of dollars, and the ability to step on the buck, should that prove insufficient.