yeah, that gray bolt on "repair" terminal is made of lead and not a good option over a true crimped on copper lug
while not the exact hardware i usually get the bolts are for the battery terminals they will work fine.
i aim for non flanged bolts (just hex head clear zinc) and thread a non flanged nut (or two if longer than 1" uhl-under head length) up the threads and tighten em up to the bolt head. this gives you a 1/2-3/4inch tall hex that jumpercables swoon over....then i put a flangnut on that i use to tighten the terminal (you dont need a flange nut, but washers are annoying)