Tech cut a 6x9 hole in the ceiling in the basement to diagnose the leak coming from the ceiling. Tech determined that a three-quarter copper pipe had a pinhole in it. Tech cut out a 10 inch of the old pipe and replaced it with two copper couplings. Tech turned water back on to the house to check for leaks. There are no leaks at this time. Work is complete.