What kind and how much fluid do you guys recommend? I was considering using the Redline D4 ATF. The manual says Dex III. Thanks in advance. Patrick