Will all four CPPM appliances be reachable by guests so that they can serve as captive portal?
A load balancer could be used, or techniques such as DNS round robin load balancing and/or Virtual IPs on the CPPM appliances to help distribute the load and provide high availablity. Ultimately, you have options available based on your end requirements.