Thanks to all of you for confirming that a USB 3.0 external HD is the way to go. Given the comments that external HDs run fine, that must mean they work at full USB 3.0 speeds around 100 MBytes/s, so they are almost as good as internals for speed and are preferred due to portability. I assume...