Thought it was 8mm square socket tool.... does anyone know the correct size for the drain plug for the final drive?