I have a customer who is looking to add some redundancy to his current environment. Currently he has a single 650 controller and would like to add a second 650 and enable master redundancy. Can he do this as well as enable license pooling? If so can someone point me in the direction on what would need to happen or some documentation on this?