There's one in atlanta in similar condition for 700$ obo and Boston pinball says the average sold on eBay is about $550. They've sold for $200-$1100. If the art is in great shape, meaning the backglass and playfield are nice with no wear his price is on the high side of fair. If you like it I would offer him $500 and get it for 600-650. As a first pin you don't want something with problems so that's a big plus. I personally would hold my ground at $550. Depends on how long its been up also. If he's had it posted for 2 weeks he will probably take it. If he posted this morning he going to wait for a better offer.