Upload to ESP32 fails

Hi Guys, I am a newbie user so may have made a basic error here but I can not get my Doit ESP32 Dev kit to upload a program. I am an experienced Arduino user and all programs load fine through Arduino. Can anyone give me a steer in the right direction?
I can see the program compiles and the auto port detection sets up to port 5, incidentally my Arduino IDE see the module on port13? When I try to upload it just times out whether i press the boot button or not.
All suggestions greatfully received.

Found my own work around:
I setup the upload_port to COM13 and all works.
Must be a wee issue with the auto detect or my laptop.