I thought the original clutch needed doing on my first e39 at around 115k miles for similar reasons, but on my spanner man's advice we changed the fluid and I know the same clutch made it close to 190k when the buddy I sold it to at 144k sold it on. Lost sight of it then, so don't know if it was ever changed