I haven't heard that name in 35 years. I rode that with my best friend 13 straight times when there were no lines. We were not feeling so bueno after that. Wasn't the Demon the fastest coaster in the world at the time?