Won't matter.
You should probably flush the system till clean water comes out then fill with coolant till you reach 50/50.
I use dexcool in my engine cooling system and prestone long life in the intercooler system so I can tell which system is leaking.
Aside from that, you should be fine with either one.
I do not suggest cheap long life coolant or ethylene glycol. I used the latter for a couple months before pitting in the supercharger case developed.