“The art collection of the late Paul Allen sold for over $1 billion in cumulative sales at a Sotheby's auction.”