Thanks BigWallop for these great tips.

The house is 15 years old and the pipes are copper. The pipe that I
think is leaking comes out of the ground with an insulation tube or
foam around it. Other pipes are coming out bare but have green oxide at
the bottom.

When the pipe is repaired would the floor of the room dry out and how
long should it be given before I cover it again.

Do you think this is ok to tackle for someone with basic skills in DIY,
I have put pipework for a shower unit in years ago and it is still ok.
Once again I would like to thank you for your kind advice.
Noel.