Mike's Mail Bag: Texas smoking ban