Thanks a ton! You just saved me from spending $80 which I was not wanting to part with. (was going to buy a PCI-E RocketU highpoint USB 3.0 controller card)
Bit of a newb too, so your kext replacement tutorial was a major time saver. USB 3.0 hardware is finally working after a year of holding...