Note that some of the items did not meet their reserve (The PiR Joker lot, for one) and that the final prices listed above don't include 30% buyer's premiums. Thus, the TPiR lot with the cards actually went for $13,000.
One listing missing: The What's My Line? flip cards went for $3900 after the buyer's premium.