How long do roof repairs typically take?