Does anyone on here know which type of coolant to use in our VehiCrosses? DexCool or regular? How much? Any information on this would be appreciated.