The story I know is that US gas (used to) cause corrosion of the Cu pipes. I don't have a gas line (in the house), so no recent installation - and of course I won't be installing a gas line on my silly-own (while I can go by and do some plumbing for the water). Yet, if i see a tiny (8mm) copper tube I'm quite confident, it's for the gas.