Thanks for the speedy reply Dave – much appreciated.
Yes, I am sure I have the right pump – the fact that the old one doesn’t heat up now also suggest to me that it’s something else.
And yes, the small white plug was a pain to remove and the wires may have been loosened in the operation. I suspected this might be an issue and did two checks: running the dishwasher with the white plug disconnected gave the same result as when it was plugged in (does a full wash okay but with no heat) – so perhaps there is no signal going back to the board? Second, I checked for continuity between each pin of the white plug and the board, but all were okay as far as I could tell.
Does that indicate anything useful?
Many thanks!