ハイエンドが今後更新される時には、712と510の中間ぐらいの製品になりそうと聞いた。