So where were all the other bidders offering $10 million plus?
There were rumblings that Elon Musk was going to put in a big bid.
The list of things Musk makes noise about but does not do gets a little longer.
(Please note: this is not a case of ∀x ∈ X ¬P(x) ≣ ¬∀x ∈ X P(x). ∀x ∈ X ¬P(x) means "for all x not-P", while ¬∀x ∈ X P(x) reads "there exists no x that P", i.e. there is no party that is happy with the bid, which is either a false statement or not the intended meaning. This is actually a common, but not well-known mistake, so I'm pointing it out.)
EDIT: I even found a reference: https://en.wikipedia.org/wiki/Existential_quantification