A native 4K encode of the version the Blu-Ray is authored from exists, actually. Guess it just hasn’t made its way around to the more public haunts just yet.
I may be mixing things up, but does that have the reel change markers still in place, unlike the iso?