Also, when I bought the car it had the green stuff in it so thats what I ended up using in terms of coolant. What should I be using? The red stuff? Or should I just buy coolant from MB?