That stinks, and I feel for them. Let's hope people will learn a lesson from this - never keep all your eggs in one basket.
Fun fact, if you're married, you can actually turn that into 3 * FDIC insurance limit.
- Account 1: You
- Account 2: Your spouse
- Account 3: Jointly you and your spouse
This can be done manually, with some logistical challenges.
This can also be done automatically, e.g. via CDARS.