I've seen the exact same craftsman set call "Midget Wrenches" too. I'm not sure if they were renamed or if the name is different depending on whether you buy the set on it's own or with a larger tool set. Like Bassdude says, Ebay is the cheapest route. Driving to Sears is the fastest.