Admin Menu Source Use a different menu as the Administration Menu. Configurable per role. Project page http://drupal.org/project/admin_menu_source