Never mind, I was smart enough to sell my DOT when they reopened, but as it went down like a stone I couldn't dump all and to save on WD fees I didn't pull the resulting BTC out ASAP.
Probably somewhere between 0.2-0.3 lost (definitely as I see it, might have given a nice comfy chair to lean back for the liquidator while they watch our money go up in vapour).