The fact your asking on here says you should walk.
Thats a car for a gambler/foolish/rich or someone well versed in that model at 9grand.
I take punts on cars without service history all the time at the 2-3 k mark….im prepared to scrap em and walk if it proves to be hiding major issues….. Would you do that on a 9k car….
For me to take that gamble it would have to be 3 or more k cheaper than equivalent to leave me a warchest for the gremlins its hiding .
Every single one ive bought without service history had its service history “lost” to hide a gremlin in its past……bar the van which was ex lease and the lease co simply didnt pass it on.
Nothing major mind but you might think twice about the car if you knew…..
Equally it might be just fine….your call. Its not a rare car and as it goes you dont get something for nothing,