Does Ip Migration Wizard work o.k. with clustered DNS?