I acquired this boat recently. I was told that it's a 1996 10 hp Evinrude motor. It has l77jc4 plugs. Are they correct? I can't find any information about a model SE10RPL0. I believe that it was made for the South American market. Any information would be greatly appreciated.