I’ve lived in Austin for 12 years. In that time I’ve seen tornadoes on three or four separate occasions, but only one of them touched down and it was in what was then a field east of Round Rock (now I think it’s another office park). Texas gets an average of 126 tornadoes a year, mostly in the Spring, but most hit in the north for reasons beyond my understanding.
