File
Print
Properties
Reset Defaults
Our customer still had the original cartridges and she put the black one into the machine first and it was of course recognised by the WF4025. Then she put the compatible refillable ones back in after touching the two round copper pins on the chips (which may have also had a bearing on the result?). The refillable cartridges were then recognised and the printer is now fully operational again.
If possible it may be a good idea to disable automatic Epson printer updates to prevent future problems?