The oil in a cargo winch gear box should be...