Like the title says, looking for a Craftsman 47755 distributor wrench. I already have one, but need it for a truck I own. A good friend needs one too so I am looking for one for him. I will probably end up buying this off of ebay, but thought I might check with you fellers too.