If the server masks hostnames then you won't have any way of getting the users ip address other than asking them for it.