With the existence of FDIC insurance, though, does this practically matter to ordinary people?

(Edited to correct the name of the agency)

I think you mean FDIC? FISA is something quite different.

Oh, yes, you're right. I've corrected my morning brain fart. Thanks!