Hi, I just bought inflatable mariner-4 including an Hangkai 3.5 HP and I'm doing some maintenance for the gear and wondering what is the recommended gear oil for this type of engines. Any idea? Thanks,