My car is in the shop today. And tomorrow. It turns out it did have a leak and needs a new fuel pump. I'd taken it yesterday to the independent mechanic I've been going to for several years now and we were planning for them to do the work. I then thought I'd better check the warranty. I doubted it'd still be covered, but I checked anyway. The warranty expired last March, but Audi has some sort of voluntary "recall" on the water pump and are taking care of it. I'd rather have the independent do the work, but it's an $800-900 job, so I'm letting Audi do it. I haven't had a lot of experience with Audi service, but I've come to loathe dealerships based on past experiences on other cars.