but if no one ever mentioned the name of the casino, you'll have a hard time finding it in the archives

(Until my reply right now, no one has said the magic words needed to easily find this thread in a future search: Habana Hilton Casino)