Great work
Rare to see TPMS on a UK car.
The oil pressure sensor is a very common failure and replacements are cheap. Can't remember the number but IIRC the Febi is about £6. Its handy to have a sacrificial long-reach 24mm socket on to which you can grind some flats and then grab it with vice grips, as the sensor is too deep for a standard socket and ratchet, and too recessed for a spanner. Obviously
