There has to be an unorthodox but effective method for removing that little with a garage full of tools, none of which are an armorer's spanner wrench. We've tried the stick-a-flathead-in-the-notch-and-hammer method, we've tried a strap wrench, and we've tried an adjustable wrench with a rubber band as a buffer. So far, no good. Any ideas?