Can't say there has been any problems with the pipe in the house, except that some of the radiators seem to have been fitted in stupid places.
I don't suppose there is any reason why I should use 10mm copper, but th erest of the system is in 10mm plastic, with some of the rads, (upstairs ones...