Further to the above, loaded a simple blinky with an output to Arduino serial monitor.
Examining the port, instead of the hid / usb notification, the Teensy port was set to COM8, and this seems to run ok.
Using Arduino IDE (on Windows 10) to upload a program with the Teensy connected to a Teensy port works ok. The program continuously outputs an ASCII string to the Arduino serial monitor. At random, the Teensy disconnects (lots of PC ding-dongs)...