The Merc service manual calls for either Champ RV9YC or AC R42TS. Any better than these, or which one of the two should I use?