Eighty life-size animatronic dinosaurs are now up for auction.