Minetime isn't particularly hard to load I wouldn't have thought, so most of these things wouldn't work if he can load other servers.
Except that one of these things did work. Generally, if just a few players are having connection issues but the other several thousand aren't, it's usually something relatively simple on their end.