しかし、市価5万円ほどの普及クラスの望遠ズーム、修理費用をいくらかけるべきかは悩ましい

まあ、本人の不注意なので、お小遣いから払ってもらおう

@kmaeda こんにちは。最近、似たような修理をしましたので参考になればと事例情報です。私のケースでは運送にピックアップサービスを使い、途中見積では5万円超でしたが、最終的には半額程度になりました。期間的には1ヶ月と少しかかりました。
息子さんのレンズ、大事ない（=安い修理費用で済む）と良いですね！

@yukinobu 情報ありがとうございます。ズームリングがテレ端で動かなくなっているので、似たような症状かもしれないですね。金額的な目安もある程度想定できたので、安堵しました。