sounds very high to me, a year and half ago, i paid 12500, for my 90 TD5, late 2002, Black, A bar, Spots, Boost Alloys, A/c etc (not a XS Spec) but does have extras as such.
Mine had 40K on it, FSH, 1 years warranty, fresh service, MOT (No Tax)
At the time i thought it was a little high...