Forum of Lists

Not sure where they get the 3524 elevation from, but this one is known as "Redstone Peak" on SP and that book.

http://www.listsofjohn.com/PeakStats/Cl ... p?Id=48297