It would seem that the replacement I have found is indeed the correct one. There are different coloured sockets on each of the solenoids, and the one at the back has been removed and replaced with spade connectors.
As an addition, when I check for resistance across the terminals of each they...