That would then raise the question (and conspiracy theories) about what happened to the owner/operator of Whirlwind if he was that upright. He was knowledgable and that was noticed from the manner in which he was posting. The whole episode is confusing.
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.