Gee, you are making a mountain... Use a full synthetic marine gear oil. Any brand will work fine, if rated for mechanical gearshift motors. Regular dino marine gear oil will work fine as well.
Change it every year, using new gaskets on the vent and fill screws. That is much more important...