I would say that something is not quite right here, a 30k miles car for £9k sounds too good to be true. I would be extra cautious if £9k is your top budget, less if you can afford to spend a few quid.
I bought a 48kmiles car, fsh, for £10k with the risk of having to spend some money and I have done so already with more to follow.
Check carefully my friend and good on ya if it is alright. I hope it works out for you.