I figured as much, but since I didn't know for sure, I didn't want to say yes.
Anyway, no matter how many people claim that Dex-Cool is the devil, it's really not. Change it every 5 years or 50k and you'll be fine. After the first change though, I think you're supposed to change it more frequently, but still, stick with the OEM stuff.