I think it should run the tool to warn the user but not actually prevent the bento config tool from running, since DNS correctness doesn't impact your ability to write configuration files.