That elevation is legit. Even if you go back 100 years, the elevation of Gorgonio was 11,485. Since then it’s always been between that and 11,503 or whatever.
Unless you’re an expert in geodessy, it’s probably prudent to not sweat differences in elevation that can be rectified by a dedicated scout troop piling rocks for a couple hours. Ha!
I’d be a proud 12 year old wearing that. (I am not, in fact, the producer of that patch. Ha!)