Double and Triple Distilled: Is there much difference?