According to the "official" park map I received on 9-27-06 the summit elevation is 10,457'. I don't offer this so much for correction as I do for additional "fact." As for me personally, I don't really care that much about 4 feet. Your page is very good; thanks for your fine work.