I had been playing machines since 6am and smoking cigarettes. Shift change it after 8:30am an employee (not bartender) approached to say "I'm to wear mask after each puff/drag during while a cigarette is lit." Usually after smoking a cigarette you cover back up with your mask. Next came bartender announced everyone cash out and exit Dotty's facility. Check back in 2hrs for reopen.