I saw a facelifted red model S at the Tesla store today and it had a different red then pre-facelifted models standing right next to it. The facelifted red was a lot lighter, more of "scarlet red" vs darker shade or red in the pre-facelifted cars. Am I hallucinating... or these are different colors indeed?