Florida’s 25% rule for storm damaged roofs.