So there's the "official" evidence: 13777 at Trail Crest.

From memory, I sure don't think Discovery Pinnacle, (lowered to 13,750), is 150' higher than Trail Crest. It's just a short walk up to the top.