What is this tool? A mechanic mistakenly left it in my vehicle after I picked it up and I'd like to return it to them. I'm just curious to know what it is.