They do seem to have at least 82k left, visible on the blockchain and verified by their "spokesperson" here: https://www.reddit.com/r/btc/comments/4wiw3q/bitfinex_has_72...