(this won't be a popular opinion, but) ...way high. Original 70 Series guns were hit or miss quality wise...it might work, it might not. At that price, I'd want something vetted and confirmed perfect. You can buy a new-made Colt for more than a grand less that will probably be of higher quality and run out of the box. Colt's current Classic series are much less expensive and you'll be getting something with a warranty, and support from Colt if there's an issue. If you buy that one and it starts having problems, Colt won't be taking it in as a warranty repair.
It's tempting, but at that price...I'd pass. It's not inherently valuable compared to a new manufacture one, IMO. Obviously, YMMV...
Also, bearing in mind today's clown-world inventory status of new Colts, so who knows when you'll actually be able to get a new-made Colt Classic, blued, in 38 Super. That may alter your calculus.