and to add,... u dont just pull a head and replace the gasket. there is a lot to check, head and block for flatness, pull all the valves out and inspect them and check guides, look at the cylinders for wear. check the head gasket to see if it has been sealing good. and so on. so if its running good with a little leak as u say just leave er b. a walk around after a shutdown with a rag and a can of brake clean is cheap. this is old stuff is very expensive to fix especially these gas starts. can put 10k in that engine very easily. i gave this same info on yesterdys tractor forum and wow, u could tell who knows what. that moderator said i was too toxic for the site, so i said **** with them idiots.