Fifty cent yard sale find, still in it's plastic blister pack, a General No 8071 ratchet wrench with 2 flat and 2 phillips bits. Maybe 1970's to 1980's vintage? I can't find anything on this manufacturer, but it sure looks like a gas station "grab and go" kinda tool, or something in the discount tool bin at Pep-Boy's. Any ideas?