That's correct! First off, I bought every Marvel movie on Blu-ray and did the same when they were released again on 4K disc. I just pulled out my discs for all four movies. My first Iron Man Blu-ray didn't even have a digital code when released on 09-30-08. While Iron Man 2, Thor and Captain...
The first Iron Man movie is another such title.
Edit: After checking I have two streams of "Iron Man 2" and "Thor" in my iTunes digital library. Only one of each with 4K Dolby Vision and Atmos. Furthermore, MA only has that version in my digital library there which tells me that other stream...
As Mark stated, it's not unusual as I had movies that were SD, but enabled DV like the Back to the Future sequels. Wherever you redeemed it, it was in SD and not HD.