PDA,
I chose to change both springs because I expect that if one has just failed then the other can't be too far away from doing the same.
I didn't change any sensors; I put the burst down to good old fashioned wear and tear. Turns out I was right too; I haven't had a problem since I...