iTunes でライブラリから削除できないmp3があるときの対処法

1.該当ファイルをHDDから消す。（ごみ箱からも消す）
2.なんでもいいから、一つmp3を作る（他のファイルをコピーして作るのが簡単）
3.該当ファイルをiTunes上でクリックして再生しようとすると、「ファイルが無いので、場所を指定してね」とか言われるので、さっき2で作ったファイルを指定する。
4.指定して無事再生が確認できたら、ファイルをoption+deleteで消す。
5.2で作ったファイルが残るかもしれないので、そのときは手動で削除する。
以上。