I have to admit, I'm not sure how to fix this one. He's tried 5 different USB keyboards, and his Dell laptop will recognize it, but the keyboard will still not work. No caps lock, nothing. Kinda weird ...

You can use the FCC ID number to see who the manufacturer is. We have some RT7D00 KBs (ps/2, 3 hotkeys), and they're manufacturered by NMB. They're also quite possibly the worst keyboards I've ever ...