Casino: An entertainment venue.