Not a fan of TDK at all, but when the BD came out I was shocked to see how poorly it looked compared to the theatrical. BB had a very dated master done and needs a new transfer as it looks nothing like the 35mm theatrical run, and TDK appears similar, though I only saw the second film as a 2K DCP in scope.
Only saw TDKR once in 15/70.
I'd love to see all three of these films properly presented if only to have a stunning example to show of full film production in the modern age. I thought the design and look of BB was downright gorgeous in places.
From what I've always heard of, the TDK prologue seems to be a scan of the source IMAX in a ratio closer to the native 1.44:1. It should lack any of the post-processing and compression done for the pitiful BD release.