Sixto,
I'd seen the 4 tip set at Pep Boys but I was not sure if that was going to work...Did you use that with success?
The distributor was replaced within the last six months and the water pump is about 3 years old. Injectors are about 1.5 years old.
As far as the shop taking care of new valve stem seals and valve springs. Yes, to the stem seals. I am not sure about the springs. However, I want them to do as much as they can (instead of me) while the head is out. I will inquire more when I take the head in.
The machine shop is recommended by a local VW dealership where they also work on MB and BMW. So they know what they are doing.
I talked to them in the past and the first thing they told me is: "You will need valve stem seals" (based on milage alone). I have around 250K.
Keep it coming...

__________________
J.H.
'86 300E