kostnaden för en reparation dä till 9,000 kronor.