I have 2 5540's with 2500 SSL VPN licenses each. I anticipate around 3000 concurrent users and thus am planning to use the built in load balancing. However, I am unsure how to handle IP assignment. I had planned on using an internal pool for IP assignment (172.17.0.0/18). Do I break this into 2 smaller pools and assign one to each ASA and then static route to each one or do I put the identical pool on each and they coordinate and proxy arp?