80年代にはもう化学合成油の対応は終わってるので、気にすることでもないでしょう
私のW800は鉱物油で漏れましたが
あのヘッドカバーの半円形のところから