The bigger peak to the right is Rodriguez Mountain. No trail to the top, hiker's register is on top, long hike to get there. It's on my list. Name of topo map for area is Rodriguez Mountain.