I brought my 2007 Hyundai Sonata 2.4 into the mechanic because my check engine light came on and the code reader showed P278, too lean at idle. They determined that the intake manifold gasket was leaking and replaced it. As I was driving home, I noticed that my AC was not getting as cold as it normally does. I recently was gifted this car by my mom and it has only 45,000 miles on it. Prior to taking the car in the AC worked beautifully. When changing the manifold gasket would there be anything related to the AC system that could have been affected? I don't want to assume they forgot something, but I also don't want to be taken advantage of and have to pay for an AC system repair that they caused.