How is Ohio? I don't miss it at all, I'm enjoying being back out west finally again. I used Peaklist.org for the prominence on this list. http://www.peaklist.org/USlists/COP2000.html That had Castle listed as 2365. I've found that Peakbagger and Peaklist use different methods for Prominence.
"After the first glass, you see things as you wish they were. After the second, you see things as they are not. Finally, you see things as they really are, which is the most horrible thing in the world."
--Oscar Wilde on Absinthe