Thanks guys, I held on to the CV for a long time after the other machines sold as I couldn't bear to part with it but ultimately it got to the point where I didn't want to play it out of fear of damaging it so I it made sense to offload it for someone else to enjoy.
With the dollar conversion at the time and the international air freight charges and various costs it cost the buyer in NZ close to 13k, but he was insistent that he had to have it as there was nothing comparable to it over there.
Relating back to the OP, if I was doing this as a business, rather than as a private on the side hobby I would have no qualms at all about adding between another 1-2k on top of the end 8k sale price to cover restoration time and effort and not selling simply for a break even price point.
Since the ebay sale mentioned is a private seller and based on the pictures and des c r i ption seemingly hasn't done a great deal to the machine I can't really see the value at the opening price being there in a stock standard machine unless you were buying just for the sake of getting your hands on one.
Speaking of which I do have another in stock so now I get the enjoyment of going through it all again.