Yep, it's called admin menu editor. It's pretty darn slick but doesn't work well on PHP4 based webhosts. http://w-shadow.com/blog/2008/12/20/admin-menu-editor-for-wordpress/