Quoted from Bud:Here is one that was a 6 year old restoration from Chris and it sold, I'm sure not far from his asking price if any as he stated firm at $8500.
https://pinside.com/pinball/market/classifieds/archive/37130
This was actually my machine so I will chime in here. Keep in mind that my game had a brand new topper (never installed) at $200, a $400 ColorDMD, and a NOS upper PF included in the price. On NGG, I think the clearcoated PF is the key because PF's in that era were notorious for ghosting inserts, and clearcoat chipping. Also no slam ramp wear is hard to find on these now. However, that game was done in 2011 and had a number of plays on it, so I think it was probably a 7300-7500 game, plus the extras.
Having said this, I think the 9K number is about accurate for a NEWLY restored HEP NGG game.