Lake Travis is incredible, I’d prefer Lago Vista or Westlake. I lived there many years ago BK and loved it! I still have friends there and visit, it’s the most liberal, hippie-centric city in Texas but man is the music, food and vibe pretty cool. I’m sure he’ll love it.