It looks like the mylar was removed at some point. That’s why the artwork on the inserts is missing. Mylar would have protected most of the inserts from wear. It’s a minor thing and, like others have said, can be easily fixed with decals if it bothers you. I agree with most others here that $1200 is a fair price and $1500 a maximum.
The $500 they paid to get it working is probably about right. I hope that’s what you meant and not actually $2000 to get it working, because that would be crazy.
You’ll be a semi-pro pinball tech in no time with any pinball machine. It’s part of the fun.
My F-14 is completely torn down and 30% into a restoration. I’ll never get back the money I’ve spent on it so far, but I will never sell it so I don’t care.