>>28です。
答えてくださった方々ありがとうございました。
ディーラー価格だとそれくらいなんですね。
信頼できる外車修理工場なら多少安くできそうな気がしました。