Not sure whether the TF was contaminated with gear oil.
FYI, this was not a “quicky” lube place but a very experienced mechanic who specializes in foreign cars. I do not believe the mechanic made a mistake (although it is impossible to be sure). Your comment about the seal between the transmission and the differential is interesting. Maybe the seal was faulty?
Thanks a lot.