I would say this was about right..... yeah its a crazy price but when was the last time you saw a boxed NOS pair of US made early 90's Redlines???
Monkeybiscuits is spot on, these are not the same as the crap twin pinch ones you see all the time.
Its a bit like sticking re-issue MX1000's on a Skyway TA or a Loopy Ripper. To some people its OK, to others its not.