Saw one for sale at Pintastic in July, and if I remember right, the price was $12,500. No mods, no LEDs. I don't think it sold.
Prices for games that are (or used to be) the $8-12k range starting getting a little soft after the CGC remakes and multiple NIB game manufacturers.