For our purposes (getting a nice, soft but resiliant, seal) it makes no difference whatsoever if copper is left to cool in air or quenched. The advantage of water quenching is that it loosens the oxides and scale, leaving a cleaner part. Quenching from dull cherry red most definitely does not harden copper.
HTH, Paul