[Saudade]

Don't you still have the bolt "fragments"? You can look at the markings on the head to get grade info. Measure the diameter from the old bolt. Then use a ruler to estimate a decent length. Just get a nut/washer to match.