Thanks for all the help, @Bob King and @Notamech
Last question then, please. I see that things like this are important during refitting of TPMS, but I am gathering, these are not needed if buying brand new TPMS sensors?
Do new TPMS sensors come with all the washers and components in the below fixing kit, or do we need to buy this in addition?
https://lexuspartsdirect.co.uk/product/lexus-is-phase-3-tpms-fitting-kit/
Anyone know the difference between 04423-48010 and 04423-33060?
Did you buy that four pack of sensors and use them yourself @Notamech? There seems to be a variety of part numbers out there. The eBay listing you show is 42607-02031.