This was a surprise. The summit benchmark is not noted on USGS topo maps. The topo for this area is Rover Peak and is dated 1967. It was apparently placed sometime after 1967. This benchmark is also one of the first I've seen I awhile that actually has the elevation.