gearbox oil leak
Hi, today after I took my car for an oil change the specialist showed me a small oil leak from the gearbox. Also a big part of the gearbox under the car was full of oil and dust. He said oil level is fine in the gearbox. I have to mention I noticed this about 6 months ago but didn't gave too much attention to it, so if in 6 months oil hasn't leaked that much (only a spot on the engine shield) you think this is a big problem? Specialist said to unmount gearbox and remake the glue but is a 200 euro job so I'm thinking of not taking any action at this time. I prefer to check in once every three months...
Also Specialist said this is a common issue to 147 gear boxes (leaking), a factory flaw he said.
Am I doing the right thing here?