Thanks for the prompt answer Curtis. I'll tell the service people to do just that on Monday.
Do you think that the 40,000 km service could have caused the problem in the first place? could they have loosened something or caused the leak in the hydraulic system.
I had been driving the car for nearly 4 years without any clutch sticking occurring... it seems a bit too much of a coincidence.