1930 Grover Hercules Banjo Tuners Good

Why would anyone possibly name something like a set of banjo tuners “Hercules”? I’ve seen examples of these over the years, though none in the last few decades; they’re quite rare and they’re quite cool. If you’ve got a partial set that you need to complete, this is your chance, not likely to see them anywhere else, soon or otherwise. Three perfectly and smoothly working tuners plus threaded bushing and washer from another, all of a set. $75