>Over by the bar are a bunch of large air exchangers -- at least two of them. The requirement in TX is, I believe, that they have to complete exchange the air every 1/2 hour.

Ok. I'm fairly confident that this is not a TX law, but an Austin law. 15 minutes north of here in Round Rock, smoking and non-smoking sections are not even separated in restaurants, just different halves of the same room.