I am curious about the answer as well as I have one of those in my "mystery" tool box. I got mine as part of a bunch of tools from one of my aunt's boyfriends that was a car mechanic. She had a LOT of boyfriends, so no more details than that, came with the tools.
Oh yes one of them. Yes I used mine for 13 years. Than gave it to the wife and she lost it. Ya mine was red. Boy it worked great. If I could only remember what I used it for. I sure wish I could find it, I could have used it last Monday.