Hi, I am putting a washer at my shop and need to know if 1/2 inch pipe is the size to use. The main line coming in is 3/4 inch I was planning to T off and run a 1/2 line to the washer shut off valve so is 1/2 inch pipe the right size?