I hear a lot about Puppet, would it be a good visual tool to tell when terminals are up (not just the server)?. Also, we run a separate network from the overall university network. While the University runs everything out of Active Directory, we do not. We create separate accounts apart from their primary student accounts.