補修用ポンプ?いつのまにか出てたん?前は無かったような気がする
心配なら純正を使えばいい。簡単なことだろう