If you are concerned on torque value of your lug nuts, I suggest you to do tire rotation yourself, unless you use Tesla's service. They set using torque wrench. Also I know most of franchise shops just don't care of the torque value of tires for most ICE cars, so they won't probably care for...