That solenoid should do the trick - the others don't tend to fail.
Every time I've had an issue like this (even when doubting it's that particular solenoid) I've been pleasantly surprised that the issue has been cured.
Good luck, and we'll have the part with you ASAP
