Yes, but how much real money is the question. I'm not doubting that real money was lost, just wondering if $16B of actual customer dollars ever flowed into the exchange.
I wouldn't be surprised if the number of actual dollars was less than $100 million.