I looked thru some industrial catalogs here at work yesterday and found various types of button head bolts..some for allen wrench..so I'll come up with something rounded...off the top of your head do you recall what size bolt that was?

tx

keith