ext44,
If you think you can trust your mechanic to fix it properly on the second go around, and he will do it 'gratis', which he should, I would take that option.
I think this might be a ongoing leak unless the cover is removed, checked and reinstalled properly.
Leaks are very frustrating, and messy! The mechanic has offered, put the ball in his court!
Stuart
