If it doesn't bother him. There is another place it could be disabled but he would have to have system policy editor installed which not everyone does. I haven't found where it is in the registry but it is probably there somewhere.