The owner's manual said to use Toyota Type IV ATF for the tranny. Can Synthetic ATF from REDLINE, Castrol be used? I have never seen Type IV before.