I have bought an old House with old central heating. I was surprised to see the radiator pipes were very thin - around 1/4 inch. Anyone know when these particular sizes were used in houses and should I replace them (and probably the old boiler also)? or just leave them since it works?