Bob, I'm afraid it's looking very unlikely that we'll be able to get to Texas in October - it is simply too crowded a part of the year. Roger