Well, it was on display in a glass case, but the sticker said it came with the box. No mention of documentation, though. Perhaps I'll see if the price goes down a bit after time passes.
They had the first Vajra game for 10,000, which was at least cool to see. I sure wish I'd waited an extra couple weeks to buy a real copy of Xanadu II, though. I paid 4000, but they had good copies for 2300.