They left for *Austin*.
Austin isn't Texas, despite being located within the boundaries of Texas.
Taxes are still lower so...