I just noticed that there is a tiny 13,080-foot contour, right by the 'n' in 'mountain', at the summit of Blackwall Mountain on the topo:
http://www.topozone.com/map.asp?lat=38. ... ize=l&s=25
Having just climbed it, I'd agree that this is the summit. SarahT just posted a good picture of it on Blackwall's page:
http://www.listsofjohn.com/PeakStats/Cl ... php?Id=747
If this is the case, then the summit would interpolate to 13,100. But based on the size of the contour and having been there, it's probably no more than a few feet higher than 13,080. But to be consistent, it should probably be listed at 13,100. Every list I've ever seen shows it as the 13,073-foot point.