Of course, in the meantime I bought another pump assuming this one couldn’t be repaired, so I’ll probably give it away.