Hi,Just detected a little pool of oil below the autobox of my E36 318iS. The autobox still shifts fine, no gearbox light on the dash, but naturally I need to get the car jacked up to looked at later.Are there many seals/gasket that go with age that should be replaced? Sump gaskets etc? Is there a seal/gasket replacement kit for the autobox?Please tell me I don't need a complete overhaul of the autobox cos it shifts just fine.Thanks!