What do people use for antifreeze in their Yanmars? I know about the red Dexcool stuff but right now I have the green stuff and I don't want to switch over (at least not right now). I just need to "top it off". Thanks, Chris #447