Hello,I am doing a head on 01VW TDI jetta and i can't find the part # for the tool that pulls the headgasket guide studs out of the head we have the 11mm guides but tool is missing to pull them out.I checked Baum,AST and othe TDI [...] Steve Login to read more.