Hello, if you have a little skill then the guys on here could help you fix the pinball and it would probably be worth more.
My guess would be $800 - $1200 not working, $1400- $1800 working depending on condition. But there are others here more familiar with EMs, so I will defer to their knowledge.