Or not! Apparently the 02 sensor isn't covered! Fair dues to the dealer though, they said they would transfer the cost to my account if I send the repair invoice. Can't say fairer than that. The sensor was taken out today, and then the wrong part was sent by Eurocarparts. Lexus want £190 for the part, Eurocarparts £114 for a Denso one.