Fluid change for Allison 3000 transmission

Just had my Allison 3000 transmission changed W/ new filters . The mechanic used Valvoline DEX VI ATF fluid. A full synthetic fluid. My question is will this fluid be OK for the Allison trans.