Does anyone know of any tools to remotely change the name of a computer? I would like to change the names of around 250 computers. (I would rather not have to VNC into each machine and change it.) I ...