There is a tool that the pool guy uses when he removes or attaches the pool cover. My pool has little metal fasteners that you screw in or out of the concrete around the pool with something like a hex wrench on a long handle. What is this called and where can I order one online?