20k Bosch diagnostic tester has the Tesla service plan: https://www.automotiveworld.com/news-releases/bosch-integrat... If workshop does not have diagnostic equipment… one shouldn’t bring their car from this century there.