hello and welcome
from what i understand the f23 gearbox can leck in a few places
1, ether of the drive shaft seals
2, the case of the box where the 2 halfs meet with sealant
if its only £90 to cure the leak i would say thats a fairly good price on the work