The fact that there are over 17 thousand DAI, still available to cover the damages of any whirlwind user, pinpoints how upright mixer that was.

Even ChipMixer didn't do that, and I'm pretty confident that they've had the financial capacity to manage it.