I found it interesting that the Indian gentleman who first measured its height did so using simple Trig formulas and came up with a height that was only seven feet off.
Travis Peak in western Travis County TX, was regarded as the highest point in the county for years. When GPS came along, the highest point (by less than 18 inches) was actually on a ranch about two miles east of Travis peak.
No one had ever questioned the longtime assumption that was also done using math formulas and survey instruments.