Sigh... I've been pulling up weeds in my back yard. I put a hole in a water line

I noticed some of my sprinkler heads were broken as well. So I just had a company come out and do all the necessary work and it cost me $155, which is way less than what. I thought it would be. They also buried the line deeper and put some kind of staples down to help hold it in place.