Just my opinion, but if it is copper and sprung a leak, then a good probability is the entire pipe is on its way to failing. You might find enough good pipe to patch it but no guarantee it’s not going to pop another hole somewhere when it’s under pressure again. I would just pay to PEX it from the main to the house and be done with it.
