You can't use completely rebuild to "better than new" prices as the yardstick. Those games are like (Real Market Value)+($5000 in labor sitting in the cash box). If I sell a Millionaire for $5000, and it has $4500 cash inside it, does that make it a $500 game or a $5000 game? Millionaire is still a $500 game.
Also saying "I wouldn't sell mine for $XX" is just meaningless. I could say "I wouldn't sell my WCS94 for $10,000..." Does that say anything about the market? No.
I am sure that $9k for an AFM is just fishing for suckers.
There is a price guide that for most titles is fairly accurate IMO. Go to Mrpinball.com. You can also search the prices on there, generally those games are priced well over market value, also looking for suckers. I think most of the ads on there are people just putting their whole collection up for sale at 2x real value, with the attitude of "Well, if someone comes along and offers me this much, sure, I'll sell it..."