A "Professional Tool" which actually works with the third party TPMS external sensors I got with a set from Banggood.
I could not see how the tool supplied was meant to work as it did not engage with the teeth on the removeable part of the module, the holder part worked just fine.

After making this it fit reasonably well and was strong enough to unscrew the module to replace the battery, without damaging the teeth.

The photo shows the cap of the module resting on the holder tool, the incomprehensible tool immediately above the print, and the removed module on the right. It just unscrews normally, so if you really can't be bothered printing something out, you could probably remove the module carefully with some pliers, or a spanner of approximately 16mm. :-)