Typical compression of 4k video ends up being more than a factor of 10 smaller.