RealPlayer10Gold

RealPlayer10.0.0.352とやらがリリースされていたようなので、以前のパスワードを思い出してダウンロードインストール完了。