Thanks for all the replies. I did indeed get this car for a very good price. I was happy to buy the car for that price even with the known shortcoming

The car is a long way from me, so I did not have the options that you would hope to have with such a purchase. I expect to go get the car Tuesday or Wednesday. I expect to get to the bottom of the problem then.