The problem with pinball & the pinball community the last few years has been LED's. Somehow most people are under the illusion that LED's add value to a machine - they are just replaceable light bulbs! The value of a machines is about condition - condition - condition. Just like when buying a house - it is all about location and everything else is secondary.
LED's may add to the curb appeal of a pinball machine just like nice siding & landscaping will do with a house and maybe curb appeal will make something easier to sell for a little more money but again it is all about condition when it comes to selling a machine.
I vote for the $1000 to $1200 range depending on condition