Shot, yes, but that doesn’t mean they were finished at that res - movies shot on the Alexa, which is 3.4K, are also often being finished in 4K.
Didn’t know that films can be finished at a higher res then what they were shot at. I learned something new tonight. I am now just a tad bit less of a layman in regards to film :p