Color hasn’t been standardized in coolants. You want an OAT coolant. Do NOT mix OAT and HOAT. Personally, to be safe I don’t even mix brands of coolant. I use Peak Final Charge any time I need an OAT coolant.
I doubt the coolant color has any relevance to your issues. If they mixed an OAT and a...