てか、ロビーも含めて完全禁煙のホールがあってもいいと思うが。
吸うひとは外でね。別棟の喫煙所でも可。それが時代の趨勢だろ。