The DTS theatrical mix may very well be the same as the Dolby EX mix. Since Dolby EX was merely 5.1 with the 6th channel matrix out of the surrounds, this could easily be on the DTS CD. Later DTS CD's that had this were usually noted as DTS-ES. I'd almost bet that the DTS mix is the same.
According to my records as well, it was DTS-ES. I do believe this was also an SDDS-8 title as well.