no. only option is to go outside
Yes, that's true. You have to go outside to the smoking section outside. If you don't mind the walk, it's not that far. I've made the walk and back in for my next flight in plenty of time. I found my way by asking the employees and be careful, a pack of cigarettes at one of the airport vendors charged almost 20 dollars for a pack and they don't have every brand either. FYI! Hope this helps.
Thanks! Your answer is awaiting moderation.