Consider the G-05 that Ford and Chrysler use. It is the result of the hard lessons learned by certain manufacturers with the DexCool™. Prestone's All Makes All Models might also be good - hard to imagine Prestone repeating their mistakes with DexCool™.
G-05 is sold at Chrysler and Ford dealers - Chrysler/Mopar calls it "150,000 Mile Long-Life", Ford calls theirs "Premium Gold". Also, Zerex makes it in aftermarket - just make sure it says it's G-05 on the labeling.
Ford's and Zerex's is bright yellow color, Mopar's is dyed a reddish color looks similar to DexCool™ only not as orange, but it is chemically different from DexCool™ (but same as Ford's and Zerex's G-05), and people do not have problems with it.
FWIW, DexCool™ is called OAT type, G-05 is called HOAT - if you want to do some Google research.