A slightly frustrating update. Played around with the X431, changed the PIS which was pretty high, and cleared codes etc. The light hasn't come on since, which was two days ago now, but the two codes are sitting inactively in there again, so the light apparently isn't triggered by either of them!