It depends on what your end goal is with this game:
If it were running and in decent shape, it would be worth about 1500. At best, you need a new connector, nvram, rubbers, and probably re-pinning. You may need new boards, displays, etc as well.
Look especially hard at the boards for any signs of acid damage or loose pins. Look for anything missing or burnt.
There are a lot of "ifs" here.
I would certainly try to get it for less. You could easily be into it for what you could just go buy a working pin for.
If you are looking for a pinball to re-sell, this probably isn't for you. If you are looking for something to learn how to work on pins (and you can spend the time on it), and you think you will keep it and play it...then go for it.