Since you have Shopkey, you can look around for TSB's on the subject. Allow me to save you some time:

In a nutshell, red and green mix just fine, but you then must follow the service intervals for green coolant. Login to read more.