Walleye are "flow" fish - any water flowing out of the lake they are going to go with it. Squaw Creek had walleye in it but the TXU exec's have probably already decimated that population. A lot of "flow-thru" lakes in Texas - hard to keep walleye, stripers and hybrids in a lake when they over-flow or release water from the lakes.
West Virginia had trouble keeping walleye in their highland reservoirs. The winter-time walleye fishing for quantity and quality fish was much better in the rivers below the lakes they were stocked in.
TP&W stocked tiger musky, northerns and walleyes in many lakes around central Texas back in the late 70's early 80's. It's tough for a Yankee to get use to the warm summers down here very long let alone yankee fishies.
Larry Ramsell is from the north and lived in the Belton area at that time. He worked with the TP&W to convince them that planting tiger musky, northern and walleye would work.
Nocona Lake was one of the many lakes to receive tiger musky plantings back in 1976.
I can assure you that none are living today (shallow lakes and high water temps).