Jim,
We don't have a Trop Tie, but we've got Sands and Las Vegas Club! (We've got a few other dealer ties too....somewhere...!!?)

What we don't have is Pan card puller thingys! Never even knew there was such a thing!

BTW, thanks for the link to the HOF Museum story, that's one of my favorite places....I even vaguely remember when it was at the Pioneer Club!! (I also vaguely remember wondering why anyone would want to keep, let alone display/look at, that musty-dusty old stuff! )