17 MM input for non-TDI VW, all head seals are the same.
this DGK126 is the kit you want
http://sto00.mailcar.net/catalog/ind...d=261038669847
You might want to check about availabliity before ordering from her. ebay seller Angelofishes also has the same kit. You may ask either one to substitute a 17MM shaft seal, or go to an industrial or bearing supplier and get a
"17x28x7mm" viton double lip rotary shaft seal" Equivalent to CR/SKF 6611(metal outer) 6614(full rubber coating) .
or Bosch PN 1 460 283 312 17x28x7.3
Anything more that $12 is a rip off.
For the pump kit, I'd accept Bosch or SPACO, not sure about any other brand.