> West Lake Hills perhaps

Yep! That's what I meant - Rob Roy, Westlake Hills, Barton Creek around the country clubs, and Lost Creek. Those are the equivalents of much of Menlo Park and Atherton, and I know of a number of people who lived in Menlo+Atherton and moved to those areas of Austin in order to front-run taxes in the run-up of some significant exits.