Unless the property/business is owned by the government, it should be up to the property/business owner to decide smoking issues. If making casinos partially or completely nonsmoking would prove to be more profitable than allowing smoking, casino owners would have done it on their own a long time ago, without unfunded government mandates.