Ah, very good to know! There are two VW dealerships closer to me than the one doing this repair, so I have options. I also have a great mechanic that I’ve been going to for over 15 years. The dealership I’m looking to buy the car from has a great reputation, but they said they would not be able...