I first tried to update the machine with Raspberry Pi Imager; this flashing failed and the Win32 whatever it was called download link did not work. Rufus worked though and the update process was flawless. I agree regarding the LEDs, very nice way for comms without needing serial port access