I think that is the correct name. I have an 03 with the 6.0. I think the 7.3 PSD may have the same electric pump setup, but I am not sure. I understand 2/60 AC. My Dad has and I know how to use a "new fangled" inductive timing light he got in the very early 80's, and a distrubutor wrench. I also remember when you had to order ALL the luxery items, like an automatic transmission, a radio (yes I mean radio, let alone cassette), power controlled anything, AC. Now you have to special order to not have all the bells and whisles.
Also, since we have already gotten off track, what is that thing in your avatar pic?