I have a buddy that just ended up with a couple of outboard motors while cleaning out his grandpa's house. One of them is a Sea King 7.5hp and he is looking for some info on it. Model # is K7001107A, Type # is 6027270R and Serial # is 592187. Anyone know what the year model is with that info and is there any place to get an owners manual on line for these? He is asking about the gas/oil mix and stuff like that?