Should smoking remain when casinos reopen?