I am sorry to say that the remote agent DID manage to update the firmware (through a laptop running Windows XP) - the printer did update (showing the correct "update" screen) but nevertheless was not able to boot - without any kind of error message.
So my advice is that if you receive this kind of error, save yourself and the poor agent at HP the time and bring the printer back straight away :)