For performance or character length reasons, it is recommended that you replace the server name with its IP address. Try some benchmarks, and if name resolution causes a performance degradation, then make the corresponding change in the Configuration module, under Disk Groups | Volume Information.