I'm coming up on a service and I believe the Dealer used Dex VI last time, and originally it would have had maybe Dex IV? I usually use Mobil 1, but I don't see that they make a Dex VI. Should I stick with the older Mobil 1 Dex IV or would the Dex VI in another brand like Super Tech or Valvoline be better? Thanks.