Replacing head gasket on my 140. As you can see it needs it in 1st picture. Decarboned head and block. By the 010 I assume it's been bored out. Cylinder looks good and so do valve seats. I am going to chase out the thread holes and clean up bolts. Should I pull the one head stud or leave it?