I'm afraid you'll need the server logs
It's pretty much the only place where you may find a clue. My suggestion would be for them to remove the PC from the domain, reboot, reattach it to the domain and try again before you go downtown. If they tried to change the PC's name at the same time as adding it to the domain, then the registration has a tendency to get screwed up. It 'll show in the AD tree, but user logins on such a PC can experience weirdness.