x64 rename domain

MS has a tool for x32 bit Windows 2003 servers that will assist in DC name changes. But I need the x64 bit version…can’t find it anywhere.

Al