Last week I was walking around NY City taking pictures with my D800E. Several of them included red traffic lights. However, in LR4 or CS5, they appear as yellow lights. I shot RAW and converted to JPEG for posting (below). No other adjustments were made. Camera white balance is set to Auto1. Any suggestions as to why the red traffic lights are not red?