で、色々買い換えて高くつき、1万5千円くらいのBDplayerを買った方がよかったことに気付く。