tcsenter, thanks for the advice. I'll look for that BIOS setting and make sure that's not an option I'm overlooking. I might have thought full speed to mean USB 2.0 speeds, honestly. Those two terms sound much the same.
I'd already tried your other two points, so I'll go give this a shot and...