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.