Craftsman Flare Nut Wrench Set

Got a set of three Craftsman flare nut wrenches here. These are the older USA made ones, not the newer stuff. Sizes are 3/8 x 7/16, 1/2 x 9/16, and 5/8 x 11/16. They've definitely seen some use in the garage so they have some scuffs and grease marks, but they're solid tools that'll get the job done on brake lines or whatever else you're working on. Just trying to clear out some space in the toolbox.