It was my regular mechanic and not a JiffyLube ripoff joint. I bought Dex Cool 50/50 mix for them to put in becuase thats what my manuel said to use, so Dex Cool is in there now. The engine in my car is a 3.1 liter. I’ve got 75,000 miles on the car and this is the 2nd time I’ve changed the coolant. Thanks for all your help.