Fun fact: the Minecraft client has for years supported SRV to discover the server port number. Thanks Notch.