I wouldn't go anywhere near a main dealer for a gearbox service, remember they maintain they are "sealed for life" so they don't have a clue what to do, it may cost you more to get it to someone who is a specialist but treat it as an investment for the future life of your car