ロータリーポンプにアルミホイルの欠片を食われました。
動作させたところ特に異音はありません。真空度は・・
装置自体を整備中なため判断し難いのですが、若干悪くなった
気がします。このままでは気持ちが悪いので食われたホイルを
取り出したいのですが、油を抜くだけで取れますか？
それともこのまま問題がないであればそのままでも問題ないのでしょうか。

恐ろしくてまだ先生には報告していません。
よろしくお願いします。