To be very critical, the high (full) res 4k sample is noisy. But 35mm
cine frames are much much worse at that size.
Peter Jackson (yeah I'm a kiwi too, but not a hobbit last time I checked
in the mirror) commented that Red One at 4k was like "70mm" WRT
resolution. To make it look like 35mm, his comment was that it's easy,
shoot at 2k (or convert to 2k), and add grain.
Guy
If you have to smooth or sub sample to get rid of the noise,
the resolution claim would become questionable.
BugBear
It reminds me of 35mm Agfachrome 1000, pushed +1 stop. That sequence could
have been easily (and better image quality) with any dSLR.
It's interesting that the high res example they offer has not a single thing
is in focus.