it’s really easy to strip those head bolts btw, even without a torque wrench. i did and now i’m sad – :-(