So what did the repair cost?