Glad they are willing to take a look at it for you, hope you manage to get sorted.

But RE: the gearbox, if it isn't that and does turn out to be something else I would suggest having it serviced anyway if you're intending on keeping for a while, although BMW say it's lifetime oil, i think it is normally around 100k/10 years that a gearbox service is advised.