I've been given an indicative price of $4,000 for a fully-shopped Eight Ball Deluxe, but I am hoping to pick one up a bit cheaper than that. There was one on Ebay recently went for $2,125 with a fault but looked good.
A fully restored EBD may command that kind of price. Depends on the demand. I'd wait it out and a cheaper option will present itself.