Hello. Does anyone know the size of the open notch for this wrench? Is it 7/8" (for use on a 5/8" arbor)? Thank you. Regards, Michael