The 15mm flex socket did the trick. The new problem is trying to separate the PS pump from the vacuum pumps, and the big gear. I'm trying to replace the leaky O ring seal that separates the PS pump from the rest of the unit. I have a factory service manual (diesel supplement), but very, very...