What about cigar smokers? Do they get to smoke in the restaurants too?