I've reset the elevation to 1980 or the more precise value "1974" from then Anavasi map. Many sources are given in "notes". The wrong value of 2080 has been copied from the first maps and is now printed in books and on information plates - but it is wrong anyhow. I leave this thread open for further comments.