I notice now one of the LED pixels around the charge port is not doing the right color. I think G of the RGB triade is either totally out, or gone marginal / intermittent. Anyway, it's noticeable on most charge port colors that indicate various things. Shows up on the white ring of "open" and the green ring of "charging" but not the blue ring of "I forget what blue means"... Not a big deal but minor annoyance, car is off-warranty, super-first-world problem that I don't care much about but would attempt a fix and maybe more eagerly knowing someone else has met with success. My guess is a poor solder joint on one LED chip pin. It's the kind of thing I can fix in my sleep, so long as the design allows for it (not hermetically sealed, openable, etc.). I might be motivated to pull the port out next time I'm digging into the car in the vicinity. And it would be helpful to know if anybody has already tried any DIY on the charge port LEDs. If anyone *knew* the LED part used in the Tesla port that would be golden, then I'd get some on hand before going in to hot-air the old one off and put a new one down.