Is Tesla demanding that they actually fix it their way? From the article it reads as if he took it to the dealer to get it repaired, they quoted him $16k, so h

Is Tesla demanding that they actually fix it their way? From the article it reads as if he took it to the dealer to get it repaired, they quoted him $16k, so he took it somewhere else. I could be wrong though.