I recently discovered I had one of these studs broken. Rather than replace with 5/16", I used bigger 3/8" bolts. One side went in as-is, the other side downstream flange had to be opened slightly with a carbide drill (The flange is hard, and will ruin a common drill bit). Also opened gasket bolt holes slightly with a Dremel.