Nightrider -- I don't know if your question was directed at me or not --
Channel Marine uses the ValveTek brand which is supposedly formulated specificly for marine engines. I cannot find any indication in their literature if it has ethenol or not.
http://www.valvtect.com/marine_fules.asp