so looks like the seal on the clutch pushrod is failing, as there is a tiny leak.
to be fair at 52,000+ miles its not really surprising.
apparently they are a pain in the arse to change - splitting the engine case. so the mechanic is going to turn it around and that might sort it our short term.
will report back