Have found a website advising some WD40 (Doh! We should have thought of that..!) so trying that now.
Also we tried to turn off the household water supply, but that's outide and flooded. Another job to be done then.
Children grow up: house evolves. This is about how we tackle the practical stuff around here.