my fault. I asked about 4000+ active users(not 400+)Hi,
This all really depends on lot of things honestly specially on your network topology, but If it's a one machine do everything setup you can at least try to buy RB4011 or at least CCR1009, just to be on the safe side territory :),
Please put your network topology here, so that others can help you more