Yes, a shame they only briefly showed the pinballs. Nice collection and of the little seen, I spotted Evel Knievel, Kiss, Fireball, Star Trek NG, Theatre of Magic, Elvira and Indiana Jones and there were some others I couldn't pick out blured in the background.

I was amazed at some of the sale items at auction and how much they fetched. 
Barbie Doll 10,800
Spider Man comic 32,500
Coca Cola Light Shade 48,000
Coca Cola drink dispenser 3,300
Sega Gun Fight 2,400

That DE Star Trek was a bargain at 950 in comparison. It goes to show, when a collector wants something, they are prepared to pay any price.