Hi , Need a bit of advice , one of the copper pipes going into my raditior in my living room has a large dent on it , its not leaking have lived in the house for 5 years and only noticed it when i decided to cover the copper pipes . the dent is only about 1 inch above the ground which is concrete, will this need fixing or will it be ok left alone , the radiator still heats up. any help or thoughts on this subject cheers.