Thanks guys,
A small miracle happened and both PCs updated normally since last night. I guess there was a problem with the Microsoft update servers somewhere or other. The advice was useful and will bear it in mind next time I run into the same lack of responsiveness from the update servers...