OK, then that would be bizarre. If a DCP was made in 2008, why wouldn't it have been used for the all-2.35 DVD version at least?
When TDK came out, very few theaters were even using DCP. I had always assumed that TDK screened on film everywhere it went.
When the Castro Theatre screened it a while back, I think it was on DCP, but I passed on it, partially because I tend to assume that DCP = HD transfer that is commercially available somewhere else (for example, last summer I saw a DCP marathon of the Back to the Future trilogy that was just the BD transfers in 4K). I am slowly learning that is not the case, and some DCPs are new transfers that haven't ever been seen outside of the repertory circuit.