It is gorgeous!! Thanks for sharing!!
As far as price goes, I think you could certainly get 5k - 6k for sure, but your best bet for top dollar is getting it in front of the widest audience (eBay or the largest pinball show you can get it to). There is always some high dollar collector that will pay for top notch games. To that perfect seller, I think 8k-10k.