Gear Selector Seal leak

[drodwell]

Hi All,
I have a 2002 Boxster S, 6 speed manual. I've noticed a small oil leak coming from the gearbox selector shaft (selector seal I think). Oil then drips from the vertical bar (on the right hand side of the engine when viewed from the back) that moves when changing gear.
It's not a major leak, a few drops each time I park over night.

I took it to a dealership, and they are talking 10 hours labour to remove and refit the gearbox, the cost of gearbox parts kit and suggest that while they have the gearbox off that they fit a new clutch (with clutch clutch kit costs) and possibly new flywheel if needed too. All up over $6k Aussie.

My questions are: Do I need to worry about the gearbox leak, and if so are the dealership giving me the right info? Can the seal be changed withouth stripping the gearbox? Should I have the clutch changed at the same time if not, and should I have a new RMS fitted then too?

Sorry for the questions list, but I''m a Porsche newbie and it's my first experience with the dealership.
Thanks in advance.