Cigarros en el bar del vestíbulo y pasillo cerca de la entrada al restaurante buffet.