How healthy is the city's casino industry?