Color temperature issues in Lightroom

At an architectural shoot today, I set my white balance to 4000K, and fired away.

I just got in, and loaded the images into Lightroom.

All the images show up at 3850K.

What gives?

The explanation is in this thread, before it veered off as many threads tend to do: Why color temperature is different in Camera Raw?

The bottom line is that if color accuracy is critical to you then you should use a grey card specifically designed for digital cameras to set your White Balance. Or you can use DPP which will use the same Kelvin temperature set in the camera.

mattograph wrote in post #9896241
At an architectural shoot today, I set my white balance to 4000K, and fired away.

I just got in, and loaded the images into Lightroom.

All the images show up at 3850K.

What gives?

Perfect, and thank you. I didn't have an issue with the color, just noticed the values were different.