Ken,
I am by means an exper on this topic, but my understanding is that each raw converter uses its own model to represent colors as a function of the color temperature.
For each camera body, ACR does a callibration that determines what color temp settings are needed to get accurate colors. It so turns out that 4650 is the ACR K temp that corresponds to what Nikon calls 5000 K.
By the way, ACR used to be less color proficient on Nikon bodies than it is on their Canon equivalents. In other words, it takes quite a bit of work to get great colors out of Nikon bodies when using ACR, while it is easier with Canon bodies.
I believe that ACR 4.0 - since it is at least partially based on RSP color model - more friendly on Nikon - should improve on this.
There is no beating Capture NX for the most vibrant out of the box colors for the D2x though.
Regards,
Bernard