The original front page appeared to be missing. Anyway, I found this page with the name of the peak and elevation. Antelope peak, elevation 4521. Some other sources say 4547.