It sometimes helps when another pair of eyes is involved. I should have looked closer as one spring is on one page of the diagram, the other, on another page. And yep, looks like WPW10237502 AND WPW10237503 are BOTH listed as Washer Door Boot Spring Clamp. And according to the diagram, both appear to have screws in them. Probably a cut-and-paste job on the design board. I'm ordering both from my local warehouse, knowing at least one is right -- hopefully.