could somebody please clarify which type of coolant goes into a 2015 explorer 3.5 non eco boost motor. The manuals states fords special orange, which if that’s what I gotta buy then fine. But what I’m asking is what alternative coolant can I use. I’ve got dexcool and the guy at the local parts...