To bet or not to bet? Casinos, gamblers weigh virus concerns