Talk:Servers/There and Back Again/@comment-73.95.74.239-20190630222906/@comment-27219153-20190701052036

Yes, you should be able to use 71.179.231.247:25565 although this may change over time.

For future reference, you can open command prompt and use the command ``nslookup`` to resolve a domain name into an IP address.