$5000.00 for a set of "vintage" Jockey Club chips?Even if the set IS in a box, I think that's pretty extravagant for a place that never opened!!