Firstly, do they even have the coins, or were they stolen in the final days of the Biden admin?

Secondly, what about Bitfinex?