Thank you!

They actually flushed the whole cooling system, I doubt I would’ve been able to do it myself since it requires several steps (AFAIK) and I’m new to all of this, but I’ll try to learn for next time.

I brought the antifreeze myself because I wanted to make sure I chose a recommended brand, and I’ve read terrible things about mixed universals. But it’s far from ideal, I know that my best option is to do it myself in that case.

Thank you all very much for your responses! I understand that the mix is not ideal but it likely won’t be a problem.

However some of you mentioned that in a hot climate a 50/50 mix is more important; in my country, summer will start soon and days of 35°C are quite common (not more that 40 though), so I’ll watch the engine temperature closely and if necessary adjust the mix in the way you suggested. My bad that I didn’t include this fact initially in the post.

Not a new engine, it’s the one that came with the car if that’s what you mean.

Yeah, in my country summer will start soon and 35°C is not unusual, so I will try to drain some and replace with water. Thank you!