Thanks for the PM. dmesg and lsusb are linux commands, not mac, so that won't be useful to you. I think you are correct that if the serial port has disappeared then it is probably in DFU mode. Unfortunately I know nothing about Mac OSX at all so can't be of any help.