Hi, I have just joined as I read your post and have exactly the same problem with exactly the same car!
So far no faults are showing up at the garage and they are now suggesting a gearbox oil change (135K miles)
I would love to know if they resolved your problem. Thanks