Purchased 2020 performance model with about 45k miles now about 2 months ago from a non Tesla dealer. Took it to Tesla for an inspection. All was fine but I recall tech saying the coolant was a little low so they topped it off. Could this indicate an issue related to LDU? Thinking of going back and specifically ask them to pull my speed sensor. Thoughts?