I heard that the marina suffered damage in a storm this weekend (7/9). The gas docks are closed for the week, and the main covered slip is closed. Does anyone have any information on this?