I wonder who is handling the custody of this for them. That was probably the hardest part of the whole thing for them to work out.
I figure it could be Greyscale, or one of the exchanges (Gemini? Kraken? Coinbase?). Could be Bakkt? Of course they could do it themselves, but that is a fairly serious security undertaking when $250MM is the amount of value.
Looking at the news I do not see that detail.