That's a good point.
We may also compare with the tether affair at Bitfinex. That one was huge, some $800 million, but no Bitfinex customer has lost a single satoshi.
At current prices 1800btc-180btc* = 1620BTC approximately 14mil EURO, and it used to be less than 7mil.
Imagine another exchange that after a year cannot pay back 7-14million Euros to get his customers and its fame back.
( * In order to gain time and sale themselves to a company that is not USA based they gave back 10% back)
I know that, it would not cost a fortune. It may even be a good investment, considering all the free positive publicity they would get.