Just use the name the printer has on the server. Or, if it's a "jetdirect" (i.e. a printer with a network card), most modern devices come with a http server - in that case use a browser to gather info.