There are things they could have done, out of those other possibilities, decentralized exchanges probably wouldn't give them the best price at those amounts, and different ways for others to frontrun them, ensuring they got an even worse price.