It has taken the US marshals almost a month to complete the sale, after they announced it. In the volatile crypto world, that translates into a 50% loss in value during trade execution. They should be able to implement a better method to sell coins, rather than an anachronistic auction.
I doubt if they care all that much about the money they obtain. They'd be far more interested in following their rules. They will not be taking up the hodl mantra any time soon.
I'd be very interested to know whether much of this coin was from personal seizures or from centralised site wallets. In this day and age you'd have to be pretty stupid to give them the means to take your personal coins away.