If it's in good nick then probably around 70% of purchase price but that was eye wateringly high so he may have to drop a bit to get the sale unless he can find a collector that MUST HAS IT!!!!
Retail price was around $1200 before they stopped making them. I'd say £400 is a bargain if it's in good nick but then there is the issue of getting spares etc.