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.