still nothing official?? I have around 100btc stuck there!
Well looks like you are gonna lose 36% of that.... and my guess is that you will receive the USD equivalent for the BTC, not the actually BTC. Can't really expect Bitfinex to buy 120k BTC on the open market, and no courts would frown upon paying customers the USD equivalent.
I imagine a premium will develop between Bitfinex and the other exchanges....