I have had underfloor heating pipes installed in screed. Plasterer has decided to bend the pipes where they come out of screed so he can plaster behind it (He was told not to touch them) and the pipes are now deformed where he bent them. Is it best to repair them or leave as is?