I guess most of us would be willing to fork out insane money to have an official 4k BR release with the extras to go with that
With the bitrate at which Harmy releases the 720p Despecialized Edition nearly filling up a BD25, it makes me wonder what the filesize would be for a 4K version of a similar bitrate.
…not that I care about 4K, myself. I just wonder.
4k uses a different codec.