Multisite top domaine change

Greetings

I have a small network of sites running under one multisite install

mydomaine1.com is the head of my multisite installation.

I wish to change mydomaine1.com by mydomaine2.com

is the good process to :

backup folder content, and db via mysql

edit the sql file with the text editor and do a search an replace mydomaine1.com to mydomaine2.com
or is it best to use a script like
http://interconnectit.com/124/search-and-replace-for-wordpress-databases/

Edit wp-config.php

change to the new database settings and add:

define(‘WP_SITEURL’, ‘http://mydomaine2.com’);
define(‘WP_HOME’, ‘http://mydomaine2.com’);

re upload the database

did I miss something?

thank you in advance