There is a 480P peak to the ESE of High Rock that might be called "East Rock" (
Pk 5120+). In this view taken from Towhead Gap (the High Rock Trailhead), High Rock is out of view to the left not to mention obscured by cloud (see
here). Pk 5120+ looked deceptively simple from the road but...
it wasn't.