thanks everyone, this was super helpful!
I think I will have the vehicle inspected and then go from there. Does anyone know of a good mechanic in the Bay Area that handles these things? As you can probably tell, I'm super new at this (this will be my first car purchase, after getting a hand-me-down 10 years ago!).
Thanks so much!