How many servers are needed to monitor an environment with 4000 devices? Should we use a Topology Split Server to handle this environment?