Did anyone see the auction for the Dino owners pouch and manuals sell for nearly $3700.00 on Ebay?...