[Tom Wesenberg]

I thought the second size used was a common size that would be in every deep socket set.
It's been a long time since I worked on one, but 7/16" seems to ring a bell.