9" no problem. The soil drains so rapidly here, that is can downpour 3" in a thunderstorm and an hour later, the grass is dry enough to mow.
Hurricane Watch for Florida west coast.