I have checked the lever on the pump shaft, and it’s the same as the original. And I don’t think it’s the camshaft…..I don’t understand, but many thanks to all. I’ve bought a new 6v electric pump (£20), and that, with a blanking plate over the old manual pump hole, should suffice. Not only that, but it should fire on demand, rather than churning.
Tim Walker