It would have been more appropriate to have the auction end seven hours and 29 minutes later than it did.