20110730 tech: USB 3.0: Things to know