Don't know for sure, but you can check Fjestad's Blue Book of Electric Guitar Values. It's pretty much the standard for determining values.
"Maybe this world is another planet's hell?" - Aldous Huxley
I think they sell for around 1100-1600 on ebay and the such, depending on the condition. There use to be one at the guitar center closest to me. I never got to play it, but it looked pretty badass. Especially with 24 frets!!!