Did anyone successfully sell their XTZ for the pre-launch prices being offered on HitBTC?


I am curious to know if and how this worked out for anyone. My understanding is that selling on HitBTC prior to the launch of the betanet in July was basically a promise to transfer the Tezzies at a certain price once they could be moved.

Did anyone sell their Tezzies on HitBTC prior to July and get the price agreed to at the time once they were able to transfer them?