It's BMW special grade AT oil that meant for "Life Time" use and the specification is not revealed so nobody know what is its actual brand and content.
3rd party foreman will pour in whatever there are familiar and confident with. A really responsible foreman will ask you to drive the car back to AB to replace with the AB special "Life Time" oil. Yet, AB will be very reluctant to do the replacement for u insisting that it's "Life Time" oil, even u willing to pay for it. The reason for their resistance is some gearbox that has no problem may experience problem when the oil is replaced, even with the OEM oil.
Good luck!