Our opinion on value is really irrelevant. Do you have a hot pinball market in your region? Are you confident in your tech skills and patience to troubleshoot, and fix it if needed? Are you willing to take apart each reel if someone lubed them? Are you willing to do cabinet repairs if needed? A fast google search puts a selling price on this title anywhere from $450 to $3500 (and no not Banning).
Pick a price you are happy with, offer it. If it doesnt happen, you can walk away saying you gave a fair try.