I am tahe small engines instructor at a small high school and I have a student who has a Johnson model # 15r74s that they are working on. Does anyone have info/repairmanual on this engine? I told them to tune it up and leave at that but they want to tear it down. I'm not comfortable without a...