Well, gee, thanks for your input, ZombieWoof. My friend whose car this is is a new friend to me. We’ve known each other about 4 months, and when she told me about her experience, I suggested we take the car to my mechanic, who solved the problem.
We have of course “walked away” from the auto shop. I was just trying to spare others a similar experience. Thanks so much for your helpful advice.