While the 4180 feet contour line on topographic maps is generally accepted as its height, the exact elevation of the summit has never been officially determined by the U.S. Coast and Geodetic Survey, and many informal surveys suggest the mountain may actually top 4,200 feet (1,280 m) above sea level.