バキュームポンプのオイル漏れはOリング交換でいけるんじゃね