We thought we were at 7619 since it seemed like the high point
@BEEBEE in his 2014 masterpiece Wrote

It is a benchmark peak however the marker has been stolen you can see where it was chipped out of the rock

not sure if that is here or further, according to topo this is just shy