デッキの修理代は15万円。結構落ち込む。