We have 6 servers in cluster mode (followed manual for setup) and need to replace one of the servers. I would like to use the same name and IP info as before. What's the best way to remove the existing server and replace it with the new server using the same FQDN/IP? I cannot run an uninstall on the existing server, as it is completely dead (the best reason for failover!).