BIG time!
Maybe the smokers should make other complaints on other taverns. This would keep the smoking police busy for years and they wouldn't be back for a long time.