kostnaden för reparationen uppgär till omkring 10,000 kr.