I need to top off fluid since had faulty flush at dealer with air pocket. Manual calls for Shell Donax TA. Can I use Dextron IV or do I need to pick...