I'm totally confused, but from what I've researched, red coolant is specified, green is OK, although they shouldn't be mixed .
I'll get that 140kPa cap tomorrow from Holden at Castle Hill, then have the cooling system properly flushed, and stick with the green coolant to ensure there's no mixing.