Attended to a friend's burst pipe disaster yesterday :-(

The 15mm feed from the rising main to his CH header tank had a pinhole
approx 1mm in size and had been leaking for up to three weeks, so you
can imagine the damage.

I cut out and replaced the bit with the pinhole with a new section about
150mm long.

The pipe in question was installed in about 1995 when BG installed his
CH system and had not rubbed against anything (it was wrapped in foam
insulation).


Question:

Should the whole run of the section that pinholed be replaced?


TIA

Richard