Quoted from KSUWildcatFan:
$2500 isn't bad at all, right? I mean, it's certainly 'up there' by pinside historical numbers but iirc none have been recorded sold with hardtops yet.
Thanks for reading my ridiculously long post
If it makes you feel any better, I've got about $4500 into mine.
-Paid $2000 for the base game. Yeah, too much but it had mostly new boards, the back glass was nice and it was local.
-paid $500 to have someone else stencil and paint the cabinet. I spent close to 40 hours prepping it.
-I installed new playfield and plastics. I also replaced all the lamp sockets.
-New legs and side rails.
-All new displays and many other parts.
-Was given an 84 version playfield with lots of parts that I used many of.
-I repinned every connector. That alone took 8 hours over two days. After 4 hours of it one day, I had to take a break.
I've got over 120 hours into the restoration and I don't think I'd ever do another from that era. It was a lot more work than I was used to.
$2500 with a hardtop doesn't sound all that bad if everything else is fairly nice.