3 ms·

Presumably they have the 10btc set aside. It would be a bit stingy to hold it back if btc goes up, but I guess they might.