Sears has both allen wrenches and sockets, but you'll likely have to order them online and have them shipped to your local store for free. If you feel like paying shipping, you can have it on your doorstep.

http://www.craftsman.com/craftsman-17mm-hex-key/p-00946666000P?prdNo=4&blockNo=16&blockType=G16

IIRC, the craftsman sockets are too tall to fit in the space around either the drain plug or the fill plug. I could be mistaken on that. Anyway, I just end up using the cut-off allen wrench with a box wrench when I have to do the job.

-Jarrett

On Jan 15, 2014, at 7:28 AM, David Bjorkman <ddbjorkman@VERIZON.NET> wrote:

> So, can anyone out there fill me in on the tool that does the job before I tear the workshop apart or go to HF?