I noticed that the hot water side coming out of the water heater looked smaller than the 1/2" on the supply side. Did they use smaller pipe in the 70's? It is a tad smaller. I don't think they would make a 7/16" pipe. It could be a 3/8 inch. What size pipe do you think it would be?