For those of you that have changed the diff cover or replaced bolts. What’s the correct size? I see two sizes called out on multiple forums. Some say 5/16, other sites like Ford parts lists an M10 bolt as being compatible with a 2023 9.75. Thanks!