pushrod

Hi, my friends 1199 base has a bad leak which appears to be around the clutch pushrod shaft. The shaft doesn't have the o rings that the older Ducati models have so does anyone know what is sealing this shaft? There was enough oil leaking to cover his left muffler at our last track day. I did...