I can't remember, since I only do it once every couple of years....but I would also recommend a line wrench. A regular one may round off the nut.