(96 Honda Civic CX) When I went to put the battery back in to my car this morning, I dropped one of the nuts for the battery hold down, down the engine block. I need to get a new one, and looking for a little help to make sure I'm getting the right thing. I called the dealership, they said it's a 6mm nut. The part number for it is 94050-06080. Unfortunately, I must rely on what can be shipped to me, and when I look this up, I don't find any details about the part itself like dimensions. Can anyone help me verify if I'm looking at the right thing, so I don't take half a week to find out I bought the wrong thing?

https://www.autozone.com/nuts-bolts-...nut/550781_0_0

https://www.oreillyauto.com/detail/b...da/civic?pos=1

The part number for the j-bolt is 31513-SR3-000 in case this is helpful, but I also failed to find good details about that.. I thought of just getting a battery tie-down strap (guess it's like a strap you fasten it with rather than these j bolts), because I'm always dropping these stupid nuts. Do the straps work?