SeaDoo is a registered tradmark of the BRP corporation.