Well those are the only three things:
1) Server reject him to log in - But you said it is not doing it.
2) His firewall / Anti-Virus block connection for some reason.
3) IF none of above then it is wrong ip / port or both.
Also have he tried creating a new account? Cause if he can, then it is definitely some code in the server blocking his account.