for those who have done the Vanos procedure, is a deep socket for the 1/2'' drive 13mm really needed for the vanos mounting bolt/stud if you are replacing the entire Vanos unit outright? it says so on the beisan website, but not sure if it's necessary for the Dr Vanos...only tool on the list i don't have...