A bit less fun fact, SIPC is generally not automatic, you need to file, whereas FDIC is automatic. That said, most brokerages will do everything they can to make you whole w/o going through SIPC, so it probably doesn’t matter in practice unless there’s a severe issue involving both the brokerage and the funds you’re invested in.