585です。その後キーボードの異常動作の箇所が変わっていき文字キーは正常に回復。オプションを触るとオプションキーが押しっぱなしになる症状になった。
バッテリーが膨張してキーボード配線圧迫も疑ってみたけどバッテリー外してもなおらずじまい。
最終的には、キーボード設定で「CapsLockキー」と「optionキー」の役割を入れ替える事で問題なく普段使いはできるようになりました。
不可解なり。