I am getting ready to decommission the server that hosts the license manager service. I am debating in my mind whether I should go with a redundant server configuration or stay with a single server configuration. From your experience, what would you recommend and why?