If it's still downlding then leave it for the time being. Next time, if it has the same problem then yes, try changing the port.
Who knows, perhaps a different day it will be different with any luck. I'm surprised you're still able to downld though.