You may just have to pick a number and see what it goes for. I'd start at $7000 or $7500. even if it doesn't sell that gives you the top limit on it. Somebody will pick it up - that's a great game. The logic others have posted about how much it costs to get it refurbished to pristine is correct - however that's not the average buyer. The average buyer may be willing to get a less-than-perfect game and still save $1000 or $2000. You should try to get it in their hands for the number that's best for both of you. For you that's a number that's high enough to justify selling the game. For the buyer, that's a reasonable amount under the retail cost of a new one.

You guys are looking at it from a business standpoint - but a lot of times these decisions are emotional: "OMG I love always wanted a MM and here's one for under 8k!"" The buyer may not have all the details at his/her disposal to do the math. If you find s local seller to just come pick it up quick, you can sell it for a good number

I'm playing an MMr lately and there definitely is some difference with how the game plays. Every machine is different, right, but there is something different "feeling" about the machine. I think it's stupid too! But it's there - maybe it just the flippers only. I feel like I can get more nuance out of flippers on an older game - hit the button more lightly and get a lighter flip. This game doesn't really have any nuance - it's just "FLIP!!!!!!" Or nothing. Still fun as hell though

Could be the different power transformer. Could be that the pinball controller moves electricity differently. Could be my imagination

Yep; sounds like they fixed it for AFMr though