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.