Recommend you ask your mechanic to use actual ZF fluid, and an OE filter, not generic fluid. There have been enough issues that many recommend using the right parts. You don't need to get it from BMW, go to ZF. Others have used generic fluids such as Redline OK, so it is your call.

__________________
2007 X3 3.0si, 6 MT, Premium, White

Retired:
2008 535i, 6 MT, M Sport, Premium, Space Grey
2003 X5 3.0 Steptronic, Premium, Titanium Silver
2002 325xi 5 MT, Steel Grey
2004 Z4 3.0 Premium, Sport, SMG, Maldives Blue