Brilliant plugin! Really, makes WordPress a CMS so quickly by being able to nitpick on what gets shown to whom and it works wonderfully with the Members plugin for custom roles.
As I was flipping some switches I noticed that the default options for the tools menu would not take effect for custom roles or the built-in admin. Not a big deal since I can just custom write in #menu-tools! But still, thought you should know.