gearbox oil is wile money. Depends what way they do it, supposedly the oil should be all removed before replacing which in a gearbox is awkward, the oil itself is also dear, its not in the same billboard as a standard oil change. 500 or so is the ballpark figure