how much do you think tje repairs might cost?