One of my ports no longer works. I tried an external drive, my Wacom pen, and keyboard. They all work on the other ports.
On a side note, I thought we have 4 USB 3.1 with transfer speeds of 10GB/sec, so I see one port is USB 3.0 with transfer speeds for 480mb/sec. Am I reading this wrong?