I had a friend in undergrad from that area. He always said that he loved his parents lake house, but was always ashamed to name which one it was: Lake LBJ.
Dat's OK. Austinites listen to Rush on KLBJ-AM 590. Not sure if Ladybird (prior owner for 50 years) is aware of this.