I don't think HAL should go totally smoke free.
I dream of the day they ban smoking on verandahs and in cabins.
I think ships that have Sports Bars should continue to permit smoking there. On ships without a Sports Bar, they need to find one indoor location where they can isolate and venilate smoke and smokers would be permitted to smoke only there when inside the ship.
I think there should be two places outside (one of which has a cover for protection from rain) where people can smoke.
I sincerely hope us non-smokers can some day return to playing a little in the casino. As it is now, I have been totally unable to even think of spending any time there. I used to be able to bear the stench and fog but no more.