Ask them to check the clutch slave and master cylinder for leaks if you're not going to look for them yourself. It won't take them more than a few minutes to see if either has an obvious leak by pulling back the dust boots on each. A new master cylinder is probably around 100 dollars, a new slave around 50, no clue on the labor but the master takes a while to do.