Cali EV 1997 Has anyone used o-ring fix for pushrod

I have heard there’s a fix for gear oil getting into the clutch housing, that involves changing the conical shaped rubbers to 6 O-rings.
Wondered if anyones used it or has any details… ?

Detail is available on the wild guzzi forum