Mackel .. There is an "expected" 10 yr life span on TPM sensor batteries.. so you can play chase the sensor for the next year or so.. or just replace all 4 .. My local dealer wanted $35 to program in new sensor ID's on my coupe (I was sent free sensors to test from a vendor.. "wrong language" per the service tech)
Probably cheaper than the "must have" torque wrench.
Post 17 contains links to threads where this subject has been beat to death and put in a blender for smoothness.