Anyone know what size the battery hold-down bolt is? Metric diameter & thread pitch, please.

I busted mine off. Penetrating oil and heat will remove the remaining portion. Then I will be sure to use antiseize and/or get a stainless bolt from Fastenal.

Thanks.