I don’t remember when “gator grips” first made the scene, but Sears was running non stop commercials for them on tv..like they would be the perfect stocking stuffer for your guy..
Anyway, I think they cost about thriteen bucks, and since they adapt to any size nut, they are pretty handy..
I have several gator grips but they are all too big to get in that small space. There is a smaller one but it’s still not small enough for that space.