I can use extras of those. I thought it was 13/16". Anyone ever seen a worn out 13/16" wrench or socket? LOL
John