I hadn’t but have now. Still no luck. Think its to do with the carrier board. It states -
Holding down the USB boot button while attaching the USB-C cable will enable USB boot. This button is connected to both GPIO25 and the nRPI_BOOT signal for USB boot.