Block tools menu in wp-admin?

You can for example add this:

foreach( array( 'tools', 'import', 'export' ) as $x )
{
    add_action( "load-{$x}.php", function() 
    { 
        if( ! current_user_can( 'manage_options' ) )
            wp_die( __( 'No access!' ) );
    } );
}

to restrict access to the {tools,import,export}.php pages for non-admins.