|John, I finally remembered where the exact model was listed, and it is found on the following page: http://h10025.www1.hp.com/ewfrf/wc/...|
(HDX X16T-1200). Haven't found any drivers for USB yet, the chipset driver was released a couple years before I got the laptop, so I should be good there, yes??
I found an HP program that show me all the system information, and I looked at the Installed Drivers section. I don't know if this even matters, but there are only 6 Host Controller drivers listed. Numbers 2939 and 293A are listed in Device Manager, but not in the System Information pulled up by the HP program.
Also, I downloaded the Active Support Library, it installed, but is nowhere to be found so haven't been able to actually use it.