At the time that I left the registry I measured the elevation in several spots and the highest reading I got was 5165. 5165 may be the true max elevation here, however the topo map on Arc GIS World shows a label of 5173, only 8 feet higher...