@JamesWilson I'd wait for more experienced ones to answer, but I think it's impossible to know without opening the gearbox for inspection. I'm not sure it's worth to open it now if no noises or problems shifting are noticeable, but that's advice beyond my expertise :p

Folks in the US, I hope you and your families are safe

@JamesWilson I wouldn't buy the car. Potential issues at the gearbox are a no go for me. There are other cars around..

After rereading the following question, I'm of the opinion this is a driving question. This question has, as far as I can tell, nothing about Motor Vehicle Maintenance & Repair. I'll not close it if someone can convince me this otherwise. If you can't, it'll be closed tonight.

Parking is about driving, not about maintenance &/or repair.

@Zaid - We are good here, though stupidity is only just down the road from me.

I do appreciate you saying, though.