If they lookeked for a AIV, I think they will look for the exhaust port, Doubt they knew to look in the inner fender for the actual device. They jsut looked along the exhaust and found no air lines coming off in front of the cats. Do you have your EGR? I'd try to find a less knowledgable shop.