Okay! After updating the driver for the USB connection, the Updater script could see the port.
Unfortunately, when I tried finishing the update process, the following message appeared:
‘Cannot open self C:\Windows\system32\data\esptool.exe or archive C:\Windows\system32\data\esptool.pkg’
If there’s anything I can provide (log files, etc) to help, let me know.
