Mine only really seems to happen if its very cold - and only does it rarely. My old car did it a fair bit though, I could be wrong, but I think its just wear on the clutch? It also depends on how you drive it, if you give it a fair few revs when you pull off you can do it without juddering. So, it could depend on how the mechanic drives as to wether he will experience the problem. They will have many cases of this reporetd, i'm sure they will know how to fix it. If you are lucky they might give you a new clutch.