They're MP3s, and he's using iTunes. Never had a problem with it on his old PC. Forgot to mention, he's running Windows 7 Professional, and he's using an external firewire sound card, that required the drivers to be downgraded to legacy versions. Could this be an issue?