Florida in early July - how bad will it be?