The part number I found from the EPC is 000-074-02-84, retail of $1,070.00 US. Seems a bit much. When I took it apart there was a spring in the pump end fitting, a rod with two different diameter ends, one of which fits the ID of the spring, and what for all appearances was a steel ball bearing in the housing which mates to a concave machined surface on the orifice/housing piece I was certain it was secured and not in a magnetic parts holder, but there must have been one of our famous southern California earthquakes, and it disappeared into the hidden place where the Jesus clips go to hide. The hole appears to be 6mm so if no one has one they can measure and tell me for sure I'll try 6, 5.5, and 5mm balls and see which seems best. (McMaster-Carr sells them in lots of 100 for about $6...) With some residual oil on it I had to smack it on the workbench to get it out so I'm betting 6 or 5.5mm. (You don't happen to have one lying around you can mic do you Dr?)
OT but I also investigated why the PS pump adjuster stud seems so short it didn't have any nuts on it and found it was snapped off sometime in the past. The adjuster stud/washer piece is not as bad at $139.00 but I think I can weld a new stud on the washer part for a lot less than that.