A short, compressed, small video that's edge-cached beats always out a 4K stream, so it even works as a tactic to keep you in that overview longer.