4K versus HD in the OR: Is there a difference? Oh yes, and it’s big.