You must use the Red coolant in these cars! .. 50/50 mix would be perfect (ie: get the non-diluted product and mix it yourself) ..

Most premix products will be more like a 30/70 mix so I wouldn't use any of them personally.

Make sure you use distilled water to mix .. DO NOT USE TAP WATER!