Do the buffer tube castle nuts on an AR-15 use a wrench which can also be used on the buffer tube castle nut on an AR-10?