Just to update the situation - the watch is currently being serviced and overhauled, something which has not happened in the 19 years I have owned it.
Should I decide to sell it I will seek several different valuations but for what it's worth I personally think it is highly unlikely it will fetch £15,000 in today's market and this might well have been an adventurous pitch in order to get the sale.