w2k BDC w2k3PDC

Currently I have a small network running w2k as PDC. I just got a new server and will install w2k3 and make it a PDC. I want to demote the w2k to BDC but have never done so. Is it simply by dcpromo.exe and demote? Then bring the new w2k3 PDC online? I am having some trouble finding specifics on this. Thanks in advance.