Did the collection of slot cards and room keys ever get auctioned and if so how much did it get. Bernie
