$2425 and trending up for VGC per Mr Pinball 2015...if you ask pinsiders you will get the pinside retro price as opposed to real world prices.
I wouldn't sell mine for under $2500...probably even more than that...(I have 3k in it!), moving dalek, alternate translite, LED's