That was indeed it I think. I found the water pump through the vermeer dealership, was expensive. That said, what me vetech63 said did the trick. You have to fill it from the pump, then the radiator. It takes only like 3 qts, significantly less that what vermeer had told me.