Cigarrería Juanchito is a bar.