Picked up a Craftsman 5247 mini vise (2-1/2 inch Jaws) and would like to know who made it for Craftsman. I did not google anything interesting with the 5247 vise model, so I suspect it is not that popular or common. Cost me $10, not bad for a made in the USA vise, even if it is a tiny one...