I spent several hours installing, deleting, clean installing, etc and this was the only thing that made the serial port show up in Arduino. Not to doubt you, but it did not work for me until I did this and then everything worked perfectly. If there's some kind of diagnostic information you would...