Thanks to those of you that have responded with your insights. I just read yesterday that RCI has just changed their smoking policy as of this month to go into effect Jan 2014. They seem to be following the Disney policy. The only exception is the casino.