I just came back to check if this issue has been resolved since then.
As a EOS holder and customer of Bitfinex, I like to see that Katie get her token back with no problem. Please try to resolve this issue ASAP on be half of our EOS holders!!!