> where the chips are clocked at lower rates for export

You'd probably have a hard time claiming that was "peak performance" for the chip if it's underclocked with "nudge-nudge-wink-wink" overclocking available.