A building in which gambling is done.
A public hall or building for the use of visitors at health resorts or spas; a casino