5500 seems steep to me. As has been mentioned, if it's been sat for 17 years it will almost certainly want a service when you get it, so 6k+

I was lucky with mine - bought direct from IWC head...