Wait, the user might not know the server they're trying to access. Maybe they found a link on a forum. I should advise checking the credibility of the source. Also, if the server is down, when is it likely to come back up? If it's a private server, perhaps they can contact the host. For public servers, maybe there's a community update channel.