Thank you for your comments.
Bought this of a trader who only had it a couple of days, so apart from the docs he knew nothing of the car
As mentioned the gearbox is great and I have had a service on it, but as you say for the miles maybe it has had prior work or replacement at some stage over its lifetime. Unfortunately I have no paper proof.
With all that you have mentioned, including the original cost. Maybe £4000 is a tad high....it owes me so much more though
Im not silly, so will happily adjust this price and accept offers of a more sensible nature if the right person is interested.
Thanks again.