Yep, and also using a torque wrench and maybe even the Briggs recommended tightening sequence for the bolts.
Those bolts are fairly wimpy so it certainly wouldn't hurt to replace it with new ones and especially much better ones like grade 8.
However, a lot of people just use their 3/8 Drive...