I guess that, in normal circumstances, it might be viewed that £9.5k is expensive in the current market. However, in the big scheme of things, if you intend to keep the car for a while and you are convinced re the condition and service history and presumably warranty then my view would be to get it because if you get the wrong one it will probably end up costing you that anyway.
Good luck with it