The values seem pretty high for the number of users.
Just based on the HTTP bandwidth and the HTTPS requests, the 1k users opportunity would require a single WBG-5500B appliance
Whereas when we go by just 1000 users and estimate the requests per seconds based on our measurement, it would require a 4500B appliance. in a worst case scenario.
The same applies to the 3200 users scenario.
Based on the mix of HTTPS req/sec and the bandwidth fro HTTP, it'll need 2 5500B appliances.
Going by users, we end up with 2 5000B appliances worst case.
I suggest to work with our local McAfee team to derive to the best sizing values.