うちのは10.3.3のままでバッテリー交換されましたし、
iOSアプデしましょうか？とも、アプデしないと交換できないとも言われなかったし、
担当者の裁量なんでしょうかねえ。ちなみに、カメラのキタムラです。

修理後のご確認欄の記載内容
・修理後の製品はiOSのバージョンが最新ではない場合がありますが、最新版へのバージョンアップはお客様ご自身で行ってください。（そのままではバックアップから復元できない場合があります）
・本体交換修理を行った場合、シリアル番号が変更されています。
・今回修理した製品の保証　保証期間2018年4月21日まで