Makes you wonder how accurate the shop manual is - per the manual:
The tire pressure sensor/transmitter is powered by an internal battery. The battery is not replaceable separately. In
the event of battery failure, the entire tire pressure sensor/transmitter at that wheel will require replacement. To
extend the life of the battery, the sensor/transmitter is not activated until the vehicle reaches a speed of approximately
32 km/h (20 mph) as stated earlier.

Maybe this is why there are so many problems with the service department - something got lost in the translation.