So, I was always led to believe that on marine engines. You should always use NGK plugs as they are most suitable for the marine environment.
I pulled a plug this morning to take a look at it. It was an AC Delco plug. Also on the info tag on my engine. It displays the number for delco plugs...