I use pinpedia or boston pinball to get a general idea on price. Each area in the US and world vary a decent amount on the price of pinball machines so you need to take that into consideration as well.

I have to agree, while it is nice $2500 is the top end of the market for it IMO and that is for one in phenomenal shape. This one has some mylar bubbling on playfield. Sure you could cut out each bubble but then you don't have a totally flat surface on the playfield. To properly fix you would have to remove all the mylar on the playfield and that is a tough task that someone paying top price should not have to worry about IMO.

But as thelaw points out if you love it and only want that pin it may be worth it to you and that is all that really matters in the end. Either way you go I hope you are happy with your decision good luck!