But as we were driving there I said "Oh, that thing with the code number on it, they looked in the office to no avail, is it in the manual here?", and he found it while sitting at traffic lights on the way there.And the tyre pressure sensor appears to have stopped randomly saying "Help"