There a been a slight reduction of fluid in the slave cylinder reservoir and some marks of the bulkhead possibly due to escaped fluid. The clutch works normally. I don't think a borescope was used. I am reluctant to opt for an engine-out with such minimal symptoms so I think I will keep a watching brief and carry a can of brake fluid in the car. I did wonder if any of you gurus knew of another solution. Thank you all for your input.
