I just got a complete 1947 Evinrude Sportsman model # 4416 and it needs some T.L.C. so what spark plug is supposed to be used in it? It had a Champion HIOC spark plug in it when I picked it up but not sure if its the proper one, I was told it should be a Champion H10J set at .025, please respond, thank you.