It's probably banned then since. A few years ago people were lighting up cigarettes in the lobby, which was very odd to me.