Anybody have and ideas what this is? It's a 3/8" allen wrench on one end and a small hook on the other.