I am in possession of an open end wrench that is triple sided on one side and has a little hook on the other. U51 is engraved in the middle of the wrench. Is anyone familiar with this wrench?