This is very interesting. You're right! The pre-1994 USGS maps do show a spot elevation of 3877m, but the later maps don't include it (and many other spot elevations). Remember that the older 15' maps show the elevation at 12720+ feet. I 'discovered' that converting 12720 feet to meters gives the result of... 3877m. I may go ahead and change my page to reflect this. :-)
I really appreciate that you've brought this to my attention! I have an old battered 1992 edition of Secor and the peak is not even listed- nor in Roper's 1976 guide book. There's an online version of Voge's guide and, eureka! there it was (apparently Secor's source for his later editions). I've incorporated the info into my page. Thanks again!