formerly Lake Texoma Real Estate Company