Yeah. That one's probably overkill. I'd go to a few auto parts stores,and Sears, and try some out for fit. Or, you could spring for a Stronglight wrench if you can find one. Worst case you could grind down a Craftsman to fit.