I'm not 100% sure, but when I use to wrench on planes and stuff, I always needed a "thin walled" deep socket for things like this. I think I have a special one made by Craftsman or Snap-On. Try Craftsman first, you'll probably still need to grind it down, but not nearly as much. Do a search for the "Thin Walled" 10 mm deep socket. Regular everyday sockets are WAY thicker. Good luck man. Later.