上記の件について、ちょうどドコモショップに行かなきゃいけなくなり、聞いてみたのですが、ドコモの安心なんとかオプションに加入している場合、高くても３０００円台で修理してもらえると言われました。
「３０００円でできるんなら安いじゃん！」と思い、修理を依頼したのですが、なんと驚くことに、無料で修理してもらえました！
自分と同じような問題で悩んでいる方がいましたら、ぜひ、ドコモショップに行って聞いてみてください！
ちなみに、修理期間は一週間ぐらいかかりました。その間、代替機として「Xperia 1 II」をもらったのですが、どうやら、代替機の選択はできないみたいです。また、代替機の費用も取られます。ドコモの場合、５５０円で足りるのですが、アハモだったら３０００円ぐらいかかるみたいです。
