You can use an after market Idler pulley with no issues..... I have a couple of Gates pulleys on my Aero and they work fine..... I too would change the pulley and see how the car is.... then I would find a new shop to work on my car..... I use a good indy MB shop.....