It's listed as Peak 3740, the USGS marker has it at 3,785' elevation and my GPS shows 3706, so who knows which is 'correct'.