JMO but I would drain it and go back to the green after a clear water flush. Getting too complicated anymore with oils, antifreeze and lubes. But the companies sure keep us spending don't they.
A friend mixed red and green antifreeze together back in 1980 and it turned into a thick sludge that clogged his radiator and destroyed his engine. Car was a 1969 Pontiac.
Some claim that the two mixed antifreezes are compatible but, I disagree. Stay on the safe side and run either green or red (pink).
if not sure go with one or the other unless both say they are completable some mix some don't . Me i use a generic premix that's available almost anywhere here yes its generic but comes from a high calibre supplier not from the local snake oil outlet