Yes I agree 4-5k for a full set with VCJ, allowing over half of that for last 17 and VCJ. The first 77 figures can be picked up fairly cheaply, not too difficult to do for £1000 or so.
It depends how mint you want them, people will pay a premium for mint, on some figures a truly mint one could be double the price of an average/nice one.