We had lunch at a cafeteria south of Dallas.
There must be different rules in Texas than in Colorado... I don't think there is a single restaurant in Colorado that allows smoking. I didn't see anyone smoking, however. They must have all come from Colorado, unprepared for that unexpected freedom.