Dishwasher not fixed

The dishwasher repairman just left. Alas, he couldn’t fix it – he
said it was the control chip which needs to be replaced, so another
DWRM will be round next week to do that.