Thank you Haggis, I have ordered a new pump and going to have an attempt at repairing the broken pump using the same sort of idea as in the link. That looks like a pretty good substantial repair and when done I will have a spare pump. They must go fragile and brittle with age maybe?...