We're into deeply parochial territory here. Who would have thought that it would be net cheaper to buy a whole new machine than get a guy to do a call-out, inspect and fix on a dead two year old machine.
The guys from John Lewis rolled up around 4 pm. A washing machine weighs in at around 100 kg - I couldn't shift our dead one. These guys switched new for old, didn't tear the lino, managed to fit the new 85 cm high appliance underneath the worktop with 2 mm to spare and got everything plumbed in without leaks.
How many anticipatory worries did that 40 minutes close down!
No more about washing machines here for a minimum of five years :-).