Certainly you're right to factor in a major service, probably at £500+.
If it were me, I think I'd prefer to buy it "cheap", and arrange the big service with a trusted Ducati specialist, rather than let a "non-Ducati" bike shop monkey around with it.
No belt change since 2003 is *not* 'full service history'. Either every 20k kms or every two years.