Instead of buying a special tool just buy the proper size deep well socket and cut the notch out with a dremel tool. Worked for me. Or if you can find one, you can try to find a box end wrench with an extreme angle to get access to the nut. Not sure which brand it was, but it was being used by a VW mechanic.


------------------
Ralf
#53 ITB Golf GT
MiDiv