I'm assuming they reencoded it to something more efficient than mjpeg2000 (no idea what the "standard" pirate codec for 4k is). EDIT: According to another comm

I'm assuming they reencoded it to something more efficient than mjpeg2000 (no idea what the "standard" pirate codec for 4k is). EDIT: According to another comment it's H264.