Does anyone know off-hand the bolt diameter of the pin that holds the trunk tether cord in place? I noticed today that mine was missing. In the past, it was always laying in the bottom of the trunk, but no luck this time. Apparently, it fell onto a jacket or the liner bag and got slung somewhere when they were removed from the trunk. Looks like maybe a 5 mm bolt just eyeballing it, but probably could be a 4. I have a 6 I will try, but I am almost certain that is too big so I will need to buy a replacement and then grind down the end so it doesn’t cut into the tether loop.