"Harry K" wrote in message

The problem is not with the washer. He says he pulled the hoses and
turned the water on. Nothing came out.

Right, I mis-read that. OTOH, if no water comes out of the line and you
can't figure out if it is the plumbing or the washer, you should not be
messing with it.