The previous record holder, Michael Collins , took in about $5 million less.
The last record holder made a few million less.
The artist's humor was evident in rare items, such as a massive Barbie doll collection.